>>1の宇宙の話は無意味

Solovey Modelの宇宙では、選択公理は成立しないし
宇宙の要素のなかには、整列不能な集合が存在する
整列不能な集合とは整列順序が存在しない集合という意味

ということでステップ１、ステップ２は却下されたから
ステップ３からな　いっとくけど順序数の話なら無意味だぞ
ここで却下されると、もうステップは残り２つしかないからな
覚えとけよ　>>1　！