9章 証明の数値的表現 これまでの議論において、「xは公理である⇔Axiom(x)」や「xは証明列である⇔Proof(x)」といった、ゲーデル数を引数にとる述語を、自然数論の体系 N において再帰的に構成できると述べてきた。それを示している。 なお、「xは証明可能で…

8章 証明の再帰性 本書では、ロッサー文を使った証明でゲーデルの不完全性定理を導いた。その際に前提となっている再帰性/帰納性を議論する。 まず、再帰的関数の定義を行い、これを用いると、再帰的述語および再帰的関係を定義することができる。実際、「普…