Minimal Infinite Successor Set is Well-Ordered

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\omega$ be the minimal infinite successor set.


Then $\omega$ is well-ordered by $\subseteq$.


Proof


Sources