14/04/11 23:53:08.22
数理論理学では、「理論」とか「モデル」とか、
「数学」のおもちゃのミニチュア模型みたいなものを作って
その性質を調べるようなことを良くします。
その際に研究対象のミニチュア模型を調べる時に使う普通の数学のことを、
研究対象となる「数学」と区別してメタ数学と言います。
つまりメタ数学は普通の数学です。
14/04/11 23:53:08.22
数理論理学では、「理論」とか「モデル」とか、
「数学」のおもちゃのミニチュア模型みたいなものを作って
その性質を調べるようなことを良くします。
その際に研究対象のミニチュア模型を調べる時に使う普通の数学のことを、
研究対象となる「数学」と区別してメタ数学と言います。
つまりメタ数学は普通の数学です。