公理系を定め、その枠組みで成立する規則を調べるという議論を数学的ということにしよう。