まさか
「数学とは、公理と推論規則を選ぶ事、
及びそれらから形式的に命題を導出する事」
とか思ってる人いる？