>>187
ちょっと嘘混じってたｗ

「理論Tが不完全（かつ整合的）であるために、その証明可能性述語がΣ1論理式であることは、必須の条件ではありませんが、標準的な不完全性定理の証明では、証明可能性述語をΣ1として構成する（理論が計算可能、または再帰的可枚挙である）ことが一般的です。」
とのこと