「Metamathematik」のコアイメージコアイメージ
数学を記号や規則のまとまりとして外側から眺め、その仕組みを調べる視点
「Metamathematik」のドイツ語での定義ドイツ語での定義
Die wissenschaftliche Untersuchung formaler mathematischer Systeme sowie der Beweise und Eigenschaften, die zu diesen Systemen gehören.
「Metamathematik」の語源語源
Metamathematikは、Mathematikに対象を外側から扱うMeta-を加えた合成語で、数学を研究対象にする分野を表す
「Metamathematik」のコラムコラム
- Metaspracheは、形式体系を記述するための言語を指し、Metamathematikと一緒に学ぶと数学を語る言葉という区別が見える