“equivalence of formal systems”的概念、定义、习题解题方法及翻译-数学辞典

单词	equivalence of formal systems
释义	equivalence of formal systems 形式系统的等价
随便看	KP hierarchy k-plane k-ply transitive group k-provability problem K-quasi-conformal mapping k-quasi-split group Kraft, J. Krahn, E. Kramp, C. Kramp symbol k-rank Krasner lemma Krasner, M. Krasner-Tate algebra Krasnushkin, P.E.(Краснушкин, П.Е.) Krasovskiǐ, N.N.(Красовский, Н.Н.) k-rational point Kratzer, N. Kravchuk, M.F.(Кравчук, М. Ф.) Kravchuk polynomial Krazer, K.A.J. k-rectifiable set Krein theorem Kressa, J. Kreǐn condition

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