11/01/04 17:57:07
>>102
一見したところ、それが正しい理解のようでした。
自身をもって結構ですよ。
確かにZFCのモデルは論理式を扱えますが、
それが２階の述語論理に基づくものだということを確かめてくださいね。
バベルの図書館的宇宙はモデルより先にあるのですから。
11/01/04 17:57:07
>>102
一見したところ、それが正しい理解のようでした。
自身をもって結構ですよ。
確かにZFCのモデルは論理式を扱えますが、
それが２階の述語論理に基づくものだということを確かめてくださいね。
バベルの図書館的宇宙はモデルより先にあるのですから。