formal mathematics

网络释义

1.	形式的数学 ...作家史都华为本书修订版写序时，特别指出：「合乎逻辑形式的数学（formal mathematics）就像拼写与文法－－正确地使用 … www.books.com.tw
2.	形式数学 ...世纪，欧几里德的《几何原本》（Elements）的形式数学（formal mathematics）被编入几何学教科书，而且将逻辑推理的模 … blog.163.com
3.	形式化数学有三种方式阐述这一问题：自然语言、形式化数学（formal mathematics），或者一门程序语言；自然语言模糊、不精确而且罗 … www.myexception.cn