Counting Theorem

Theorem
Every well-ordered set is order isomorphic to a unique ordinal.