馬鹿現るw

一元的内在制約説は、自然数論を含まない公理系だろが。
そういうのは、帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しないだぞ。

知ったか乙。