0648132人目の素数さん垢版2018/02/20(火) 17:46:42.78ID:gThmZ/3D >巨大基数公理ってクラスを必要としないで済ませられるよって言いたいが為にする公理なので いや違うでしょ