>>281
>3)と同様に、普通のZFCで作られるモデル内では
> (強)到達不能基数は存在しないのがデフォルト
ZFCで存在を証明も反証もできない集合はZFCのモデル内に存在してもしなくても良い。”デフォルト”は君の感想に過ぎない。
それで、君、V⊂U なる持論を撤回したの? 「デフォルト」でごまかしてるってことは。