The classic methods of defining numbers are “wrong” in the sense that it doesn’t match how people actually think about numbers
Peano Arithmetic and ZFC pretty much do define addition and multiplication recursively in terms of successor and addition, respectively.
Peano Arithmetic and ZFC pretty much do define addition and multiplication recursively in terms of successor and addition, respectively.