NBG
von Neumann, Bernays, Gödel set theory(フォン・ノイマン=ベルナイス=ゲーデル集合論)
公理的集合論
のひとつ
ZF公理系
を拡張して、クラスを追加したもの
$ ^{(1)}
クラスのある集合論
選択公理も関わってそうだけどWikipediaが難し過ぎてわからない
MK
(Morse-Kelley set theory)と大体一緒だが、
内包性の公理
に制約がついている
$ \exist
参考
(1)
『形式手法教科書』
P47
色々な集合論の公理系 - 進捗置き場というわけでもない場所
『代替集合論＊ （Alternative Set Theories） の調査』
P50-P60
メモ
フォン・ノイマン＝ベルナイス＝ゲーデル集合論 - Wikipedia
フォンノイマン・ベルナイス・ゲーデル集合論（NBG） : tnomuraのブログ
#集合
#数学