On Saturday, September 30, 2017 at 11:50:19 AM UTC-4, John Gabriel wrote:
> > > Peanos axioms doesn't assume natural numbers apriori, it works on the set > > > theoretical construction which only assumes the sets and then choose toe > > > represent natural numbers using sets. > > > > You describe ZFC more than Peano. Peano basically stipulates that the > > natural number one and the successor function exists. > > Correct. Peano's crapaxioms prove nothing and construct nothing.
The fact that Troll Boy here has banned all axioms and rules of logic from his goofy system of numbers kind of says it all. Axioms and rules apparently cramp his style. What a moron!