Ordinals are Totally Ordered

Theorem

The ordinals are totally ordered.

Proof

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

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.