>>318
>まったく同じで無限公理無しではωの存在も非存在も証明できない。証明できないのに非存在とする君が間違い。
>理論から存在も非存在も証明できない集合はそのモデルに存在してもしなくても良い。

アホが出鱈目をｗ （＾＾
数学では、証明できないなら 予想としか呼べないよ

ある数学的対象が、”存在も非存在も証明できない” ということの証明も そう簡単ではないし
ゆえに 例えば 素数分布関連 リーマン予想について リーマン予想が正しいとして いくつも論文が書かれている。
多分、予想が正しくなければ 矛盾が導けるし、
正しいことが証明されれば ドミノ倒しで 自分の論文が定理になるだろう

到達不能基数の存在とは ちょっと質の違う話だが
（到達不能基数は、その定義からして ZFC内での証明を拒否しているから 証明できると思う人皆無だ）

おっさんの話は、みそくそ一緒だよ
まあ 到達不能基数仮説 と呼ぶのは ありだろうが
いまや 到達不能基数は 基礎論のメインストリームだから わざわざ仮説と呼ぶ人は小数派