Ordinal: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Provable over ZFC (and I'd expect some weaker theories)) |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
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. For example, any finite set of real numbers is well-ordered, as well as the set of natural numbers, while neither the set of nonnegative rationals nor the set of integers is well-ordered. |
In set theory, the '''ordinal numbers''' or '''ordinals''' are an extension of the [[natural numbers]] that describe the order types of [[Well-ordered set|well-ordered sets]]. A set \( S \) is '''well-ordered''' if each non-empty \( T \subseteq S \) has a least element. For example, any finite set of real numbers is well-ordered, as well as the set of natural numbers, while neither the set of nonnegative rationals nor the set of integers is well-ordered. |
||
==Von Neumann definition== |
==Von Neumann definition== |