>>375
>なければ、集合ではない
集合では無いとも言えないのでは？
巨大基数公理で存在が言われる集合は
公理が無ければ集合ではないのでは無くて
その存在が結論づけられないというだけ
自然数の全体も集合かどうか分からない
集合であるとは言えないぐらいで