Elements of Minimal Infinite Successor Set are Well-Ordered

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Let $a \in \omega$.


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


Proof


Sources