Bernays-Gödel set theory

…For these reasons, it was felt necessary to reconsider the logical foundations of set theory, and one method for doing so was the construction of axioms. Currently, there are two systems that are used as axiom systems for set theory: one is called Zermelo-Fraenkel set theory, and the other is called Bernays-Gödel set theory. In either case, the idea is to make the theory worry-free by regulating the construction of sets. …

*Some of the terminology that refers to "Bernays-Gödel set theory" is listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

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

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

出典｜株式会社平凡社世界大百科事典 第２版について | 情報