Can someone provide a formal definition of addition for the natural numbers directly from the axioms of ZFC? If this can't be done, why not?
Asked
Active
Viewed 53 times
0
-
Addition of what? – drhab Nov 14 '19 at 12:59
-
Natual numbers. Sorry, meant to type that. – Jacob Hulse Nov 14 '19 at 13:00
-
Among many other places to find this, see Enderton's Elements of Set Theory. – Dave L. Renfro Nov 14 '19 at 13:00