|
@beppe: I doubt you really need the Peano axioms, instead you can define natural numbers as properties of relations on sets of objects and derive the rules of arithmetic from the laws of logic.
I remember doing something along those lines at a maths summer school, way back when I had no facial hair.
IIRC Bertrand Russel did something along those lines as well.
|