任意の仮定Aは、公理系が無矛盾であれば、
何れかに分類できるか?

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

そして、仮定Aがどこに分類される事は、
常に証明可能なのか？

と言う疑問です。