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

单词	syntactic compactness theorem for first order logic
释义	SeeSyntacticCompactnessTheoremForFirstOrderLogic
随便看	proof of Minkowski’s bound proof of Minkowski’s theorem ProofOfMobiusCircleTransformationTheorem ProofOfMobiusTransformationCrossratioPreservationTheorem ProofOfModularLaw proof of modular law ProofOfMollweidesEquations proof of Mollweide’s equations ProofOfMonotoneConvergenceTheorem proof of monotone convergence theorem ProofOfMonotonicityCriterion proof of monotonicity criterion ProofOfMorerasTheorem proof of Morera’s theorem ProofOfMorleysTheorem proof of Morley’s theorem ProofOfMultiplicationFormulaForGammaFunction proof of multiplication formula for gamma function proof of Möbius circle transformation theorem Proof of Möbius transformation cross-ratio preservation theorem ProofOfNakayamasLemma ProofOfNakayamasLemma1 proof of Nakayama’s lemma proof of Nakayama’s lemma ProofOfNecessaryAndSufficientConditionForDiagonalizability

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