|
|
Re: § 454 Equality and the axioms of natural numb
ers
Posted:
Mar 22, 2014 3:18 AM
|
|
On Friday, 21 March 2014 20:51:41 UTC+1, Virgil wrote:
> In article <fe9e9fb1-c93a-4307-87da-48cb1242957d@googlegroups.com>,
>
> 3. For every x in S, o =/= F(x)
>
> 4. For every x and y in S, if f(x) = f(y) then x = y
How can the reader determine whether two numbers (or members) are equal or not equal. What is the definition of equality used here?
Regards, WM
|
|
