Ordering Principle

Theorem
Let $S$ be a set.

Then there exists a total ordering on $S$.

Proof 1
From the Well-Ordering Theorem, $S$ has a well-ordering.

The result follows from Well-Ordering is Total Ordering.

Proof 2
This theorem follows trivially from the Order-Extension Principle.