- 611 名前：１３２人目の素数さん [2005/09/09(金) 08:02:31 ]
- 一階の理論の完全性を証明するためのアプローチの仕方って、
たしか、その理論の公理系で証明可能でない論理式を真でないにするその理論のモデルをつくる方法を考える、ってことでしょ
（だから、その形式的体系で証明可能でないなら、任意のモデルに対して、真である、ではない、と、）
一階の理論全般に言えることだったか、ある算術の理論に関する内容であったかは忘れましたが
ついでにおれも、似たような質問、
一階の理論（関数記号を用いる等号記号付きの一階述語論理を利用して作られる理論）は、必ず、同型ではないモデルを持つ（範疇的でない）、とのことらしいですが、
もっと弱い論理を利用して作られる理論なら、範疇的であるものもあるのでしょうか？
例えば、関数記号を用いず、一項述語記号しか、表現として持たないような一階述語論理を利用して作られる理論からして、すでに範疇的でないということですか？
それよりも、
誰か、A7についてのコメントを・・
