单词 | Zermelo-Fraenkel Set Theory |
释义 | Zermelo-Fraenkel Set TheoryA version of Set Theory which is a formal system expressed in first-order predicate Logic. Zermelo-Fraenkel settheory is based on the Zermelo-Fraenkel Axioms. See also Logic, Set Theory, Zermelo-Fraenkel Axioms, Zermelo Set Theory |
随便看 |
|
数学辞典收录了8975条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。