>>455
>設定した公理系は無矛盾であったが、

無矛盾の公理系からでる定理なんてつまらないものか、
マイナーな分野、例えば組み合わせ論とかの定理じゃないの。
重要な定理って大抵、実数体や選択公理などを使うでしょ。