Date: Mar 23, 2014 4:57 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: ß 454   Equality and the axioms of natural numb<br>	ers

On Saturday, 22 March 2014 22:38:51 UTC+1, Virgil  wrote:


> > > Since "x" and "y" and "f(x) and "f(y)" are merely names, x = y if and
>
> > > only if "x" and "y" are merely different names for the same thing,
>
> > > and f(x) = f(y) if and only if "f(x)" and "f(y)" are merely different
>
> > > names for the same thing.
>
>
>
> What part of the above does WM not understand?


If there are only names, how can someone claim that the Peano axioms define the natural numbers? And how can a man equipped with a healthy brain accept that?

Regards, WM