11/01/03 13:52:14
＞「論理式の集合がZFCのモデルになっている」
完全性定理の証明の過程で、
一階理論（これはZFCを特別な場合として含む）のモデルの存在を示す
ことを指していると推測
>>86に加えて言うと、
モデルを組み立てられるのは、元々の理論が無矛盾という仮定の下での話
ZFCが本当に無矛盾かどうかは未だに不明
＞論理式の集合がZFCのモデルになっていると素直には認められないんで
これを認めるのは、ZFCが無矛盾であると認めるのと同じこと
11/01/03 13:52:14
＞「論理式の集合がZFCのモデルになっている」
完全性定理の証明の過程で、
一階理論（これはZFCを特別な場合として含む）のモデルの存在を示す
ことを指していると推測
>>86に加えて言うと、
モデルを組み立てられるのは、元々の理論が無矛盾という仮定の下での話
ZFCが本当に無矛盾かどうかは未だに不明
＞論理式の集合がZFCのモデルになっていると素直には認められないんで
これを認めるのは、ZFCが無矛盾であると認めるのと同じこと