メタマセマティクス（その他表記）metamathematics

改訂新版　世界大百科事典

メタマセマティクス
metamathematics

→超数学

出典　株式会社平凡社「改訂新版　世界大百科事典」

世界大百科事典（旧版）内のメタマセマティクスの言及

【超数学】より

…D.ヒルベルトの提唱した形式主義においては，数学の各理論体系は用いられる論理も含めて公理化され記号化される。式，命題，証明はそれぞれ体系内で定められた一定の規則に従う単なる記号の有限列であって，そこに現れる記号(論理記号も含めて)や記号の有限列はすべて〈意味のない〉ものとされ，初めに与えられた法則のみに従って変形されるものとする。このように形式的体系として記号化された数学と，その形式的体系について研究する数学とを厳密に区別しなければならない。…

※「メタマセマティクス」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」