单词	formal undecidable proposition
释义	formal undecidable proposition 形式不可判定命题
随便看	Young, John Wesley Young, Lai-Sang Young lattice Young, Laurence Chisholm Young measure Young subgroup Young symmetrizer Young tableau Young transformation Young, William Henry Y-system Yukawa Hideki Yukawa potential Yule distribution Yule, G.U. Yule-Walker equation Z Zabusky, N.J. Zadeh, L.A. zag number ZA group Zamberti, B. Zanotti, E. Zanotti, F.M. Zarankiewicz conjecture

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