Cardinality of Set

In this entry, we establish more results about ordinals, including proving that every well-ordered set has the order type of an ordinal. We introduce transfinite induction, Cardinality, and use the Axiom of Choice to prove that every set can be well-ordered, among other results.