2023.08.19
https://gyazo.com/c8f4e0413b4d0ec05f8e9b123fe761cf
アー
やった
眠気とも戦う
メモ
$ \mathrm{Pr}_T(x) \coloneqq \exists_p.\mathrm{Proof}_T(x, p)
$ \mathrm{Proof}_T(x, p)は「$ E_xは文であって,$ E_pが$ E_xの$ Tでの証明となっている」を表す.
$ \mathrm{Proof}_T(x, p)までは$ \Delta_0として表現できる.すなわち有界量化のみで表すことが出来る.
この最後の$ \mathrm{Pr}_T(x)で非有界な量化を使うため,$ \mathrm{Pr}_Tは$ \Sigma_1となる.
思った