14/03/01 15:50:50.33
ごめんなさい、教科書を先に読み進めたら
H(κ) |= Γであるとき、H(κ)が集合であることが言えたときと
言えない（クラスであることしか分かってない)ときに
CON(Γ)がどういう意味で帰結したと言えるのかに違いがある、
的な話がきちんと説明されてました。ほぼ>>561の答えそのものですね。
先に自分で疑問を持っていろいろ考えて調べたりしたのは無駄じゃなかったですけど。
そもそもCONがメタレベルの言明か、集合としてコードされた
論理式に対応する集合論内のオブジェクトなのか、違いがあるわけですね。