Bernays-Gödelsettheory(その他表記)BernaysGodelsettheory

世界大百科事典(旧版)内のBernays-Gödelsettheoryの言及

【集合論】より

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

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

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

今日のキーワード

苦肉の策

敵を欺くために、自分の身や味方を苦しめてまで行うはかりごと。また、苦しまぎれに考え出した手立て。苦肉の謀はかりごと。「苦肉の策を講じる」...

苦肉の策の用語解説を読む

コトバンク for iPhone

コトバンク for Android