bn:03321443n
Noun Named Entity
Categories: ジョン・フォン・ノイマン, 数学基礎論
JA
フォン・ノイマン=ベルナイス=ゲーデル集合論  NBG集合論  ノイマン–ベルナイス–ゲーデル集合論  ノイマン=ベルナイス=ゲーデル集合論  フォンノイマン–ベルナイス–ゲーデル集合論
JA
数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 とはツェルメロ=フレンケル集合論+選択公理 の保存拡大である公理的集合論である。 Wikipedia
Definitions
Relations
Sources