Zermelo-Fraenkelsettheory(その他表記)ZermeloFraenkelsettheory

世界大百科事典(旧版)内のZermelo-Fraenkelsettheoryの言及

【集合論】より

…このようなことから,集合論の論理的基礎を再検討する必要が感じられ,その一つの方法として公理による構成が考えだされた。現在,集合論の公理系として利用されているものには二つの体系があり,一つはツェルメロ=フレンケルの集合論Zermelo‐Fraenkel set theory,他はベルナイス=ゲーデルの集合論Bernays‐Gödel set theoryと呼ばれている。いずれにしても集合の構成を規制することによって,心配のない理論にしようというのである。…

※「Zermelo-Fraenkelsettheory」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

今日のキーワード

イチロー

[1973~ ]プロ野球選手。愛知の生まれ。本名、鈴木一朗。平成3年(1991)オリックスに入団。平成6年(1994)、当時のプロ野球新記録となる1シーズン210安打を放ち首位打者となる。平成13年(...

イチローの用語解説を読む

コトバンク for iPhone

コトバンク for Android