一种将数学各分科整体作为研究对象，研究其可公理化问题或公理的协调性、可靠性、完全性、独立性和判定问题的学科metamathematics
汉译英翻译词典收录86165条汉英翻译词条，基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等，是英语学习的有利工具。