Ordinal: Difference between revisions
Foundations other than set theory
(ZFC not only setting of pure sets. There are also theories with urelements →Von Neumann definition) |
(Foundations other than set theory) |
||
Line 4:
In a pure set theory such as ZFC, we need a way to define ordinals as objects of study. The Von Neumann definition of ordinals does this, by associating each ordinal \( \alpha \) is defined as the set of all ordinals less than \( \alpha \).
== Equivalence class definition ==
Another common definition of ordinals, often used in settings not based on set theory, is as equivalence classes of well-orders.
| |||