>>270
>整列可能定理は公理として
整列可能定理無しでは有理数Qの完備化は不可能 が君の主張との理解でよろしい?