第3章 集合論のモデル
3.1 論理式の相対化と絶対性
3.2 比較的簡単な相対的無矛盾性の証明
3.3 集合論の内部での論理とモデル理論

第3章 集合論のモデル 3.1 論理式の相対化と絶対性 3.2 比較的簡単な相対的無矛盾性の証明 3.3 集合論の内部での論理とモデル理論

Paper

Details

Publishing material
集合論とプラトニズム, p. 105-126