「"foundations of mathematics"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

a theory in mathematics called foundations of mathematics 例文帳に追加

数学基礎論という数学理論 - EDR日英対訳辞書

This "incompleteness theorem" ended Hilbert's program of formalizing mathematics and is rightfully regarded as the most important result in the foundations of mathematics in this century. 例文帳に追加

この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている． - コンピューター用語辞典