証明述語
証明述語とは
$ \mathrm{Proof}(x,p)
のことを指す．表しているものとしては
$ E_p
は論理式
$ E_x
の証明のGödel数である．
これは
$ \Delta_0
論理式
として構成できる．
Δ₀関係
$ \exists_p.\mathrm{Proof}(x,y)
とすれば，これは
証明可能性述語
となって，
$ \Sigma_1
論理式となる．
Σ₁関係