- 947 名前：１３２人目の素数さん mailto:sage [2006/03/16(木) 15:45:30 ]
- 初学者です。質問いきます。
形式的体系が無矛盾、というときの形式的体系って、なんか、形式的体系として必須の推論規則とか、あるんですかね？
なんかあたりまえのことらしく、本の最初のほうにすら書かれてないんですが
例えば、
¬(s0+s0=s0+s0)とs0+s0=ss0を公理として置くとして、これは明白に無矛盾でないんですが、推論規則がなきゃ、s0+s0=ssoは出てこないので、無矛盾か？いや、そんなはずはない、と悶絶しております
というか、公理図式だけを置いた形式的体系、論理式をいくつか公理としておいただけの形式的体系なんてあるのか？というところでつまづいてます
