“syntactic compactness theorem for first order logic”的概念、定义、习题解题方法及翻译-数学辞典

单词	syntactic compactness theorem for first order logic
释义	SeeSyntacticCompactnessTheoremForFirstOrderLogic
随便看	Isotopy isotopy IsotropicQuadraticSpace isotropic quadratic space IsotropicSubmanifold isotropic submanifold IsotropyRepresentation isotropy representation IteratedForcing iterated forcing IteratedForcingAndComposition iterated forcing and composition IteratedLimitInmathbbR2 iterated limit in ℝ^2 IteratedSumOfDivisorsFunction iterated sum of divisors function IteratedTotientFunction iterated totient function Iteration iteration Iterator iterator ItoIntegral ItosFormula ItosLemma

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