>>452
＞ノイマン宇宙はZFC公理系の話だから
＞基数αは、ZFC公理系で証明できるものに限られるべし
＞勝手に、公理にない到達不能基数κを導入することは許されませんよ

それ、超準解析とか、完全否定してるけど

無限小実数とか無限大実数は
実数論の公理から存在が証明できないので