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