Re: Bijections (was OM = SIGMA1)

From: Quentin Anciaux <>
Date: Thu, 15 Nov 2007 20:38:25 +0100


Le Thursday 15 November 2007 14:45:24 Torgny Tholerus, vous avez écrit :
>> Bruno Marchal skrev:
> Le 14-nov.-07, à 17:23, Torgny Tholerus a écrit :
>>> What do you mean by "each x" here?
> >I mean "for each natural number".
> What do you mean by "each" in the sentence "for each natural number"?  How
> do you define ALL natural numbers?

There is a natural number 0.
Every natural number a has a natural number successor, denoted by S(a).
There is no natural number whose successor is 0.
Distinct natural numbers have distinct successors: if a ≠ b, then S(a) ≠ S(b).

You need at least the successor axiom. N = {0 ,1 ,2 ,3 ,... ,N ,N+1, ..}

All natural numbers are defined by the above.

> How do you prove that each x in N has a corresponding number 2*x in E?
> If m is the biggest number in N,

By definition there exists no biggest number unless you add an axiom saying
there is one but the newly defined set is not N.

Quentin Anciaux

All those moments will be lost in time, like tears in the rain.
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at
Received on Thu Nov 15 2007 - 14:49:45 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST