メタ数学って普通の数学のことじゃないの?
対象数学の方が普通じゃない数学だと思うんだが