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