そういえば前スレで誰かが
「数学がトートロジーなのは当たり前」
って言ってたけど
ゲーデルの不完全性定理で
「矛盾を含まない公理系からは意味のある定理は何もうみだすことができない」
って言ってた気がするんだけど
これってどうなんですかね？