Ordinal: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(ZFC not only setting of pure sets. There are also theories with urelements →Von Neumann definition) |
(Foundations other than set theory) |
||
| Line 4: | 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 \). |
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. |
|||
Revision as of 01:09, 16 October 2022
In set theory, the ordinal numbers or ordinals are an extension of the natural numbers that describe the order types of well-ordered sets. A set \( S \) is well-ordered if each non-empty \( T \subseteq S \) has a least element.
Von Neumann definition
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.