- 323 名前：１３２人目の素数さん mailto:sage [2012/04/29(日) 13:44:18.79 ]
- >>295で私が言いたかったのは、
全ての仮定A下記の何れかに属する。
1.仮定¬Aは、証明可能。
2.仮定Aは、証明可能。
3.仮定Aは、その公理系と独立。
仮定Aが独立である時、仮定Aが独立であることを
証明可能な無矛盾な公理系は常に存在する。
上記が証明可能もしくは、独立であることが
証明できる無矛盾の公理系が存在するならば、
あらゆる無矛盾の公理系のあらゆる命題において、
「誤りではない」ことを必ず証明でき、ある種の
無矛盾な論理としての極大性があるのではないか?
と言う疑問です。
