talk:>>40 巨大な類と小さい類を分ける基準を与える上ではZFC以外の前提を加えることがある。