ThmOmegaCardinal (3.65) — ω is cardinal
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.65 |
|
Standalone kernel entity record from 3. Set/Class-Theoretic Foundations (3.01–3.78) — View in Complete Entity Database (#ThmOmegaCardinal) →
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.65 |
|