0670氏名黙秘垢版 | 大砲2021/11/02(火) 22:29:34.38ID:FKtcIAgX 馬鹿現るw 一元的内在制約説は、自然数論を含まない公理系だろが。 そういうのは、帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しないだぞ。 知ったか乙。