メタ数学

意味

  • 女性名詞 メタ数学メタすうがく

例文

Die Metamathematik untersucht die Grundlagen formaler Systeme.

メタ数学は形式体系の基礎を研究する。

コアイメージ

数学を記号や規則のまとまりとして外側から眺め、その仕組みを調べる視点

ドイツ語での定義

Die wissenschaftliche Untersuchung formaler mathematischer Systeme sowie der Beweise und Eigenschaften, die zu diesen Systemen gehören.

語源

Metamathematikは、Mathematikに対象を外側から扱うMeta-を加えた合成語で、数学を研究対象にする分野を表す

コラム

  • Metaspracheは、形式体系を記述するための言語を指し、Metamathematikと一緒に学ぶと数学を語る言葉という区別が見える

おすすめの単語帳

1 / 1
↑ TOPへ