Pr(T，g(⊥))が真であるようなモデルでは
どんな命題PについてもPr(T,P)は真となる
しかし、それはPが証明可能であることを
意味しない。つまりPの証明可能性を、Prと
いう形で完全に形式化することはできない
ということ。