19/10/01 12:23:10.39 Fd75etB7.net
>>793 補足
もし、正則性公理が、無限降下列のみならず、無限上昇列をも否定するものであれば、ZFC公理系は狭すぎて困る
事実は、そうではない
少し考えれば、分かりそうなものだが(゜ロ゜;
19/10/01 12:23:10.39 Fd75etB7.net
>>793 補足
もし、正則性公理が、無限降下列のみならず、無限上昇列をも否定するものであれば、ZFC公理系は狭すぎて困る
事実は、そうではない
少し考えれば、分かりそうなものだが(゜ロ゜;