Zermelo-Fraenkel set theory
词源说明
Named after mathematicians Ernst Zermelo and Abraham Fraenkel.
释义
名词noun
- 1(mathematics) An axiomatic system that was proposed in the early 20th century in order to formulate a theory of sets free from paradoxes such as Russell's paradox, and became the standard form of axiomatic set theory.