>>295で私が言いたかったのは、

全ての仮定A下記の何れかに属する。

1.仮定¬Aは、証明可能。
2.仮定Aは、証明可能。
3.仮定Aは、その公理系と独立。

仮定Aが独立である時、仮定Aが独立であることを
証明可能な無矛盾な公理系は常に存在する。

上記が証明可能もしくは、独立であることが
証明できる無矛盾の公理系が存在するならば、

あらゆる無矛盾の公理系のあらゆる命題において、
「誤りではない」ことを必ず証明でき、ある種の
無矛盾な論理としての極大性があるのではないか?

と言う疑問です。