大学学部レベル質問スレ 11単位目

大学学部レベル質問ス ..

862:１３２人目の素数さん
18/06/27 21:36:43.41 4ICaZFXr.net
>>833
ググってきましたが、ZFとCはそれぞれ独立で、CとZornの補題は同値です
すなわち、ZFとZornの補題は独立なので、
＞ツォルンの補題が成り立つと言えなくなる
というわけではないようです
ZFとZornの補題が独立である、ということは、ZFのあるモデルM,Nが存在して、MではZornの補題が成り立つけど、NではZornの補題が成り立たないようにできる、ということを意味しています
つまり、ZFの上では単にZornの補題を証明できないだけで、Zornの補題が成立するかどうかとは別問題ということです
これ以上はもっと頭のいい人に聞いてくださあ

次ページ

続きを表示

1を表示