>>418
(ガウスDA)くんか

>>通常の基数
>ってなに？

通常の基数の定義：ZFCで存在が証明できる基数 例 ω、R(=2^ω)など 可算無限ωから始めて 冪を超限回とって実現できる基数（超限回とは 全ての順序数を尽くすこと）

>>いま、到達不能基数κが ノイマン宇宙Vの内部だと考えると
>考えなくても定義からκ∈V

違うよ
上記の通り 到達不能基数κは、ZFCで存在が証明できない基数
数学者は、存在が証明できない場合は 存在するとは言わない
その場合、存在を言いたいとき 公理を立てる（無限公理で無限集合を実現するのと同じ）

>>一致したら 新しい基数を加えたことにならない
>加えなくてよい　最初から全部入ってる

いいや
上記の通り 無限集合の存在は 無限公理を おかないと証明できない