Skip to main content
1 of 1
Post Made Community Wiki
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

Theorem. Every strange set is an ordinal.

Proof. Suppose that $\alpha$ is strange. Let $\beta$ be the smallest ordinal such that $\beta\notin\alpha$. Such a $\beta$ exists, because no set can contain all the ordinals, and this does not require the foundation axiom to prove. It follows that $\beta\subset\alpha$ and $\beta$ is transitive. Thus, if $\beta\neq\alpha$, we would have $\beta\in\alpha$, contradicting the choice of $\beta$. Hence $\beta=\alpha$ and $\alpha$ is an ordinal. QED

Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k