Content deleted Content added
moving some general facts to normal function, shorting the proof considerably |
mNo edit summary |
||
Line 16:
== Example application ==
It is easily checked that the function ''f'' : Ord → Ord, ''f''(α) = א<sub>α</sub> is normal (see [[aleph number]]); thus, there exists an ordinal Θ such that Θ = א<sub>Θ</sub>. In fact, the above lemma shows that there are infinitely many such Θ.
| |||