
Re: § 454 Equality and the axioms of natural numbers
Posted:
Mar 20, 2014 4:05 PM


You can draw pretty pictures if you like, but they are something of a deadend. You really need some kind of formal axioms stated in the language of formal logic and set theory, if your intention is rigorously prove things about the natural numbers. As a starting point for number theory, there is still none better than Peano's 5 simple axioms.
Dan Download my DC Proof 2.0 software at http://www.dcproof.com Visit my new math blog at http://www.dcproof.wordpress.com
******************
wrote in message news:9f8d9cd8f7f444c79db13841ecad847c@googlegroups.com...
[snip WM's posting]
In the end the natural numbers is just named/symboled hashmarks that have order, thus a sucessor and predecessor. But one only have sucessor.
Everything else is just anal excercises.
Not even a number 0 =1 =2 =3 =4 =5 =6 =7 =8 =9

