Type of: pure mathematics
Encyclopedia: Metamathematics
英语词典包含157790条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。