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

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

877:１３２人目の素数さん
18/06/27 22:47:53.51 k2crza4E.net
>>842
ZFに￢Cで帰納的でかつ極大がないと証明される集合は、ZFCでは
帰納的なものに含まれなくなるのか、
帰納的でかつ極大があることになるのか
という点を疑問に思っていました
>>844 >>845 >>847
頂いた返答がまさに知りたかったことです、ありがとうございます
ZFに￢Cで「帰納的でかつ極大がない集合があると証明される」集合に対応するものがZFCではそもそも集合として必ずしも存在しないし、存在しても必ずしも帰納的とは言えない、ということですね
とても腑に落ちました

次ページ

続きを表示

1を表示