Vocabulary

数学基礎論

foundations of mathematics

noun