>>650
(引用開始)
>繰返すが、”どんな順序数βよりも大きな順序数α”
>この順序数αは、ZFCからは証明できない順序数α！
また勝手読み。
>”「与えられたどんな順序数βよりも大きな順序数α
をなぜ
>”どんな順序数βよりも大きな順序数α”
と読む？　日本語が読めない？　なら小学校からやり直し。
(引用終り)

ご苦労さまです（＾＾

ここは中高一貫生も来るから ハッキリと書いておくが
到達不能基数や巨大基数の議論では
二種類の順序数を区別しないといけない

・一つは、ZFC公理系で導ける 通常の順序数（含む通常の基数）
・もう一つは、ZFC公理系で導けない つまり 通常の順序数（含む通常の基数）よりも大きな 順序数（含む基数）

後者は、特に基礎論で語られるとき 前者と区別するために 到達不能とか 巨大とか呼ばれる
つまり、いかなる前者の基数より 大きい基数であり
前者の基数λのべき2^λ では 到達しえない基数と定義される■