>>117
そういうこと、今まで考えてなかったなあ
多分、数学が(というのは曖昧な主語だけど)無矛盾であることは無前提に仮定するんじゃないかな?