無矛盾な一階の理論が以下の二条件をみたすとする。 任意の閉原子論理式に対して、 または が成り立つ。 の形の任意の閉論理式に対して、ある閉項が存在して、 が成り立つ。 このとき、は完全な理論である。なぜならば、任意の閉論理式に対して、条件2を繰り…

本務先の研究室サーバに置いている「書評」のページの「おまけ」の部分に書き加えたいけど、必要な調査ができていないために、まだ、書けないでいることがある。「よくある間違い」のベージに「体系に数学的帰納法が入っていることが不完全性定理の本質であ…