数学基礎論
「数学基礎論」の英語
「数学基礎論」は英語で foundations of mathematics と言います。数学の基礎となる公理や証明、形式体系などを研究する分野です。metamathematics は、数学の形式体系を外側から分析する、より狭い関連分野を指すことがあります。
「数学基礎論」の英語の使い分け
foundations of mathematics
数学の基礎となる公理・証明・形式体系などを研究する分野名として使います。
「数学基礎論」の例文
She studied metamathematics to understand the limits of formal proof.
彼女は形式的証明の限界を理解するために数学基礎論を学んだ。
コアイメージ
証明・公理・計算可能性を論理的に扱い、数学基礎論として形式体系の性質と限界を明らかにする学問
英英
The branch of study that examines the foundations, consistency, and limitations of formal mathematical systems, including proof theory and computability.
語源
metamathematicsは、ギリシャ語の接頭辞meta（〜を超えて）とmathematicsが結びついて、数学そのものを外側から分析する研究を表す語として形成された。
コラム
- 数学基礎論は形式的証明の限界や公理系の整合性を扱い、数学そのものを'外側'から分析する視点が中心となる
「数学基礎論」のレベル別の例文
- 中学
- 高校・英検2級
Foundations of mathematics examines the assumptions behind mathematical systems.
- TOEIC・ビジネス
The university launched a research project in foundations of mathematics.
- 日常会話
I've always been interested in the foundations of mathematics.
「数学基礎論」を英語にするときのよくある間違い
× I study mathematics foundations.
○ I study the foundations of mathematics.
英語では foundations of mathematics という語順を使います。特定の学問分野を指す場合は the を付けることも一般的です。