- 4 名前：１３２人目の素数さん mailto:sage [2011/06/30(木) 15:05:29.23 ]
-
一階述語には、議論領域（ドメイン）というのがあるが、
これはZFCの集合で記述されることになっている。
でも集合論を構成するのにすでに、一階述語論理を使ってる。
循環論法ではないか。
また、公理系のモデルを考えるときに対象領域とか、
写像とかZFCの上での議論になるが、
なら集合論のモデルはどうやって議論するんだ？
この場合、集合論より大きな体系で議論することになっているが、
これでは何時までたっても相対的な議論しかできないではないか？
ゲーデルの不完全性定理が出た時点で、数理論理はｵﾜｺﾝなんじゃないの？
