“proof of Ostrowski’s valuation theorem”的概念、定义、习题解题方法及翻译-数学辞典

单词	proof of Ostrowski’s valuation theorem
释义	SeeProofOfOstrowskisValuationTheorem
随便看	105TheCumulativeHierarchy 10.5 The cumulative hierarchy 10SetTheory 10. Set theory 110PatternMatchingAndRecursion 1.10 Pattern matching and recursion 111PropositionsAsTypes 1.11 Propositions as types 111TheFieldOfRationalNumbers 11.1 The field of rational numbers 1121PathInduction 1.12.1 Path Induction 1121TheAlgebraicStructureOfDedekindReals 11.2.1 The algebraic structure of Dedekind reals 1122DedekindRealsAreCauchyComplete 11.2.2 Dedekind reals are Cauchy complete 1122EquivalenceOfPathInductionAndBasedPathInduction 1.12.2 Equivalence of path induction and based path induction 1123DedekindRealsAreDedekindComplete 11.2.3 Dedekind reals are Dedekind complete 1123Disequality 1.12.3 Disequality 112DedekindReals 11.2 Dedekind reals 112IdentityTypes

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