English Dictionary

Zermelo-Fraenkel set theory

名詞

不可算名詞

(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.

日本語の意味

数学において、集合の理論を矛盾（ラッセルのパラドックスなど）から守るために、20世紀初頭に提案された公理的集合論の体系。 / 集合の理論における標準的な公理系であり、数学の基本となる集合の性質を厳密に定義するための枠組み。

In my graduate course, we explored Zermelo-Fraenkel set theory to understand how axioms prevent paradoxes like Russell's paradox.

大学院の講義で、我々はツェルメロ＝フレンケル集合論を学び、ラッセルの逆説のようなパラドックスを回避するために公理がどのように働くかを理解しました。

意味（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.