On Saturday, March 1, 2014 1:31:57 PM UTC-5, John Gabriel wrote:
> > Observe that John Gabriel cannot prove that n=/=n+1. > > > > It needs no proof. :-)
If you are claiming that number theory can be derived from your "axioms" alone (apart from those of logic and set theory), then it does indeed need a proof. Have you been able to prove ANYTHING from this gobbledygook?