Kreisel文
自己言及的な文の一覧
Curryのパラドックスに対応する，オリジナルのLöbの定理に用いられている．
$ T \vdash K \leftrightarrow (\mathrm{Pr}_T(\ulcorner K \urcorner) \to \sigma)
私が正しいことは，「私を仮定すれば$ \sigmaが証明できること」と同値である．