>>182
理論Tが不完全であるためにはTにおける証明可能性述語がΣ1論理式であることが必要（算術的に記述できるだけでは不十分）。そのためにはTが再帰的であることが必要。