Well-Ordering Principle/Proof using Von Neumann Construction

Proof
From Von Neumann Construction of Natural Numbers is Minimally Inductive, $\omega$ is minimally inductive class under the successor mapping.

The result is a direct application of Minimally Inductive Class under Progressing Mapping is Well-Ordered under Subset Relation.