＞証明可能かどうか、数学自体の無矛盾の判定

ほとんどの数学理論では、無理。