Ordinals are Totally Ordered

From ProofWiki
Jump to navigation Jump to search

Theorem

The ordinals are totally ordered.


Proof

Follows directly from Relation between Two Ordinals and Subset Relation is Ordering.

$\blacksquare$