Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí

Smazaný obsah Přidaný obsah
m Stránka Von Neumann-Bernays-Gödelova teorie množin přemístěna na stránku Von Neumannova-Bernaysova-Gödelova teorie množin: gramaticky spravny nazev
gramaticky spravne nazvy
Řádek 1:
'''Von NeumannNeumannova-BernaysBernaysova-Gödelova teorie množin''' (někdy také označovaná jako '''GödelGödelova-Bernaysova teorie množin''' nebo '''NBG''' či '''GB''') je jedním z nejšířeji přijatých a používaných [[Axiom|axiomatických]] systémů [[teorie množin]].
 
Stejně jako v případě [[ZermeloZermelova-Fraenkelova teorie množin|ZermeloZermelovy-Fraenkelovy teorie množin]] nebo [[KelleyKelleyova-Morseova teorie množin]] se jedná o (úspěšný) pokus postavit teorii množin a tím i celou moderní matematiku na přísných formálních základech, které zabrání sporům typu [[Russelův paradox|Russellova paradoxu]] — podrobněji v článku [[Teorie množin]].
 
== Historie ==
Řádek 31:
{{Portál Matematika}}
* [[Teorie množin]]
* [[ZermeloZermelova-Fraenkelova teorie množin]]
* [[MorseKelleyova-KelleyhoMorseova teorie množin]]
 
[[Kategorie:Axiomy a axiomatizace teorie množin|*]]