');

一般用語集

一般用語集

メタすうがく【メタ数学】

項目 メタすうがく【メタ数学】
意味 〔metamathematics〕ヒルベルトの用語。数学を公理から論理的な演繹によって推論されてゆく体系であると考え,その公理論的な体系としての数学自身を対象とする数学的思考。超数学。