>巨大基数公理ってクラスを必要としないで済ませられるよって言いたいが為にする公理なので

いや違うでしょ