- 764 名前：１３２人目の素数さん mailto:sage [2011/08/29(月) 14:27:14.30 ]
- >752
真理述語が定義できるモデルが、絶対的な(と言っていいのか？)無矛盾性を導けるモデルで
真理述語が定義できないモデルが相対的な無矛盾性証明にしか役に立たないモデルですね。
自然数論での無限モデルやZFCでのクラスモデルは、
一般には部分的な真理述語しか定義できないから無矛盾性は導けない。
有限モデルやセットモデルは、それぞれの形式体系で真理述語が定義できるので導ける。
