Ordinals are Well-Ordered/Proof 1

Theorem
The ordinals are well-ordered.

Proof
Recall that the Ordinals are Totally Ordered.

Let $A$ be a non-empty set of ordinals.

Let $\alpha \in A$.

Let $B = \alpha^+ \cap A$, where $\alpha^+$ denotes the successor set of $\alpha$.

Recall that $\alpha^+$ is an ordinal.

Note that $\alpha \in B$, so $B$ is non-empty.

By Intersection is Subset, $B \subseteq \alpha^+$.

It follows that there exists a smallest element $\kappa$ of $B$.

We claim that $\kappa$ is the smallest element of $A$.

So let $\beta \in A$. We need to show that $\kappa = \beta$ or $\kappa \in \beta$.

By Ordinal Membership is Trichotomy, either $\beta \in \alpha^+$, $\alpha^+ = \beta$, or $\alpha^+ \in \beta$.

If $\beta \in \alpha^+$, then $\beta \in B$; it follows by the definition of $\kappa$ that $\kappa = \beta$ or $\kappa \in \beta$.

If $\alpha^+ = \beta$ or $\alpha^+ \in \beta$, then it follows by the transitivity of $\beta$ that $\alpha^+ \subseteq \beta$.

Since $\kappa \in \alpha^+$, it follows that $\kappa \in \beta$.