ZF

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

略語 別表記 イニシャリズム 不可算名詞

(set theory) Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice.

日本語の意味

（集合論）Zermelo-Fraenkel（集合論）の頭字語：選択公理を含まない集合論の特定の公理的定式化。

英語の意味

(set theory) Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice.

このボタンはなに？

In graduate seminars, many proofs are presented within ZF to avoid reliance on the axiom of choice.

大学院のゼミでは、多くの証明が選択公理を含まないツェルメロ＝フレンケル集合論のもとで示され、その公理に依存しないようにしている。

詳細

意味（1）

(set theory) Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice.

Gödel's model is an example of a simple type of inner model that might be called a definable transitive inner model³), where the universe is replaced by a transitive subuniverse defined within ZF, the membership relation is just the original one restricted to the subuniverse, and where the axioms of ZF relativized to the subuniverse, are provable within ZF.

詳細