>>824
ゲーデルが示した様に、無矛盾な公理系ならば
公理系自身による無矛盾性の証明も完全性の証明も
できない様な公理系が存在するんだが｡
例えば自然数の公理は公理系内部によっては
無矛盾性も完全性も証明できない｡