0795132人目の素数さん垢版 | 大砲2019/10/01(火) 12:23:10.39ID:Fd75etB7 >>793 補足 もし、正則性公理が、無限降下列のみならず、無限上昇列をも否定するものであれば、ZFC公理系は狭すぎて困る 事実は、そうではない 少し考えれば、分かりそうなものだが(゜ロ゜;