>>298
◆yH25M02vWFhPは、
「命題Ｐが証明できない」と
「命題Ｐから矛盾が導かれる」を
混同している

無限公理が他の公理から証明できない、からといって
無限公理と他の公理から矛盾が導けるわけではない

つまり、集合論の他の公理から無限公理の否定は導けない

したがって、無限公理を設定してない集合論で無限基数が存在してもいい

ZFCで到達不可能基数が存在しててもいいのと同じこと