>>833
ググってきましたが、ZFとCはそれぞれ独立で、CとZornの補題は同値です

すなわち、ZFとZornの補題は独立なので、
＞ツォルンの補題が成り立つと言えなくなる
というわけではないようです

ZFとZornの補題が独立である、ということは、ZFのあるモデルM,Nが存在して、MではZornの補題が成り立つけど、NではZornの補題が成り立たないようにできる、ということを意味しています

つまり、ZFの上では単にZornの補題を証明できないだけで、Zornの補題が成立するかどうかとは別問題ということです

これ以上はもっと頭のいい人に聞いてくださあ