ThmOmegaOrdinal (3.62) — ω is ordinal
Morse-Kelley / Von Neumann-Bernays-Gödel class comprehension, sethood, ordinals, Dunaev pairs, cardinals, universes, and reflection.
| Num | Entity Database Record (Vertical Field Table) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.62 |
|
Standalone kernel entity record from 3. Set/Class-Theoretic Foundations (3.01–3.78) — View in Complete Entity Database (#ThmOmegaOrdinal) →
Morse-Kelley / Von Neumann-Bernays-Gödel class comprehension, sethood, ordinals, Dunaev pairs, cardinals, universes, and reflection.
| Num | Entity Database Record (Vertical Field Table) | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 3.62 |
|