Ordinals are Well-Ordered

Theorem
The ordinals are well-ordered.