14/02/27 00:33:49.09
ZFCで理論Tに対して普通の集合のモデルMが存在したら
CON(T)が言えるのに、Tに対して特定のクラスモデル（整礎集合WFとか構成的集合Lとか）が
存在してもCON(T)が言えないのはどうしてですか？
健全性定理の証明のどこに引っ掛かるのか分からず悩んでいます。
14/02/27 00:33:49.09
ZFCで理論Tに対して普通の集合のモデルMが存在したら
CON(T)が言えるのに、Tに対して特定のクラスモデル（整礎集合WFとか構成的集合Lとか）が
存在してもCON(T)が言えないのはどうしてですか？
健全性定理の証明のどこに引っ掛かるのか分からず悩んでいます。