Content deleted Content added
Added a missing parenthesis in one of the formulas. |
m →Example application: Typography |
||
Line 28:
== Example application ==
The function ''f'' : Ord → Ord, ''f''(''α'') = ω<sub>''α''</sub> is normal (see [[initial ordinal]]). Thus, there exists an ordinal ''θ'' such that ''θ'' = ω<sub>''θ''</sub>. In fact, the lemma shows that there is a closed, unbounded class of such ''θ''.
==References==
| |||