>>458
＞無矛盾の公理系からでる定理なんてつまらないものか、
＞マイナーな分野、例えば組み合わせ論とかの定理じゃないの。

をひをひ、無矛盾でない公理系は何でも証明可能だから無意味だぞ（ｗ

＞重要な定理って大抵、実数体や選択公理などを使うでしょ。

あのなぁ、無矛盾性が証明できない＝矛盾してる、ってことじゃないぞ（ｗ