|
|
Re: Matheology § 201
Posted:
Jan 27, 2013 8:12 AM
|
|
On Jan 27, 10:40 am, WM <mueck...@rz.fh-augsburg.de> wrote: <snip>
<... |N contains more than all (finite initial segments)
Piffle. |N does not contain more that all FISONS nor has anyone claimed this.
the correct statement is
For every initial seqment f, there is an element of |N, n(f) such that n(f) is not in f. (note that n(f) may change if you change f)
However,
for ever n(f) there is an initial segment g such that g contains n(f)
|
|