>>295
>ZF+が普通のZFだ
>が ZF- 内に 無限集合ω(＝N 自然数の集合）は、存在しないのか？ 存在してはいけないのか？
>神様は、存在してはいけない とは言わない。「無限公理追加が無矛盾なら 許す」だろう
神様を持ち出してごまかそうとしても無駄。
V⊂U なる持論を撤回したのか否か答えよ。

>さて、数学者は？ 「証明できない 無限集合ωは 数学者としては困る。無限公理は必須。それが人間の数学ぞ」と（＾＾
大嘘。
嘘でないと言うならそう言っている数学者名を例示してみて。
君、嘘はつかない方がいいよ。すぐにバレるんだから。

>要するに、ZF-（無限公理なし）について 普通の数学者は 証明できない無限集合ωは 存在しないと 普通は言うだろう
大嘘。
嘘でないと言うならそう言っている数学者名を例示してみて。
君、嘘はつかない方がいいよ。すぐにバレるんだから。

>神様は、「無限公理追加が無矛盾なら どっちもあり」
神様を持ち出してごまかそうとしても無駄。
V⊂U なる持論を撤回したのか否か答えよ。

>同様に、普通のZFCで作られるモデル内では
>到達不能基数は証明できない。
また理論とモデルを混同している。君も不勉強だねえ。

>ゆえに 証明できない以上 勝手な到達不能基数を証明ずみとしては 数学理論にならん
大間違い。
数学は（きちんと断る限り）いかなる仮定をしても良い。〇〇の仮定はご法度なんて不自由は数学には無い。

>到達不能基数を考えたい人は 公理として追加せよ！
君、公理とは仮定であること理解してないでしょ

>かつ 到達不能基数未満 つまり 到達可能基数だけの宇宙もあって良い
はい、大間違い。
「κは到達不能基数かつλ<κ⇒λは到達不能基数でない」は言えません。

>（議論の都合で 一番小さい部分に限定することはよくある）
そんなのは宇宙の定義しだいで語るに及ばず。

>まあ、そういうことです
どういうこと？　君、何か１ミリでも価値のあること語ったつもりになってる？