单词	recursively axiomatizable
释义	recursively axiomatizable 递归可公理化的
随便看	reduced cohomology group reduced complex space reduced cone reduced continued fraction reduced cost matrix reduced crossed product reduced cubic equation reduced cycle reduced degree reduced density matrix reduced differential polynomial reduced direction reduced divisor reduced echelon form reduced elliptic fibration reduced enumeration reduced equation reduced extremal distance reduced form reduced formula reduced fraction reduced free group reduced game reduced G-bundle reduced gradient

数学辞典收录了72750条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。