Ordinals are Totally Ordered

Theorem
The ordinals are totally ordered.

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