Tanu R.
Posts:
538
Registered:
12/13/04


Re: Matheology § 300
Posted:
Jul 11, 2013 3:17 PM


Julio Di Egidio:
> he is quite correct here: he is saying "to have *all*" > we need an "endsignal"
Not with infinitely sized sets  the limit just does not have a predecessor, http://en.wikipedia.org/wiki/Ordinal_number#Successor_and_limit_ordinals "Thus, every ordinal is either zero, or a successor (of a welldefined predecessor), or a limit." "A nonzero ordinal that is not a successor is called a limit ordinal."
This is true as it is defined this way, omega has not a single predecessor, read http://en.wikipedia.org/wiki/Limit_ordinal

