ZF - Weblio 英和・和英辞典 (original) (raw)
単語を追加
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
ZF
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
- 履歴機能
過去に調べた
単語を確認! - 語彙力診断
診断回数が
増える! - マイ単語帳
便利な
学習機能付き! - マイ例文帳
文章で
単語を理解!
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
ZF
名詞
ZF (uncountable)
- (set theory) Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice.
- 1971, Ulrich Felgner, Models of ZF-Set Theory, Springer, Lecture Notes in Mathematics 223, page 21,
1. Corollary: ZF is not finitely axiomatizable.
2. Corollary: ZF is reflexive (i.e. the consistency of every finite subtheory of ZF can be proved within ZF). - 1991 [Kluwer Academic], Fred Landman, Structures for Semantics, 1991, Springer, Softcover, page 56,
However, the problem with it,[the generalized continuum hypothesis] and the reason why it is not part of ZF strictly (apart from the fact that it implies the axiom of choice) is that it is rather arbitrary.
- 1971, Ulrich Felgner, Models of ZF-Set Theory, Springer, Lecture Notes in Mathematics 223, page 21,
ZFのページの著作権
英和・和英辞典 情報提供元は参加元一覧 にて確認できます。
| ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 | | | ------------------------------------------- | |