- 952 名前：１３２人目の素数さん [2006/03/16(木) 16:16:44 ]
- いや、本の問題というか、
どの本も、まず、公理、推論規則、があって形式的体系、
ないし、推論規則だけ置いた自然演繹、ということで始まっていて、
というか、まず、無矛盾である、例えば、一階述語論理の公理系があって、それに固有公理を加えた形式的体系が無矛盾であるとか、無矛盾でない、ということを言ってるんですかね？
例えば、集めたい論理式の範囲がs0+s0=ss0とs0+s0=s0+s0だけで、s0+s0=ss0とs0+s0=s0+s0だけを、公理としておいて、形式的体系だ、とか言うことはナンセンス、ですかね？
