Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
historie |
m →Vztah NBG a ZFC: velikost X, odkazy, tučnost |
||
Řádek 6:
== Vztah NBG a ZFC ==
'''Von Neumann-Bernays-Gödelova teorie množin''' se z hlediska své síly příliš neliší od poněkud rozšířenější '''[[ZF]]''' či '''[[ZFC]]''' (tj. Zermelo-Fraenkelovy teorie množin rozšířené o [[axiom výběru]]) - libovolný výrok o [[Množina|množinách]] je v '''NBG''' dokazatelný tehdy a jen tehdy, pokud je dokazatelný v '''[[ZF]]''' - mluvíme tedy o teorii '''NBG''' jako o [[Konzervativní rozšíření|konzervativním rozšíření]] teorie '''[[ZF]]''' (říkáme také, že '''
Na rozdíl od '''[[ZFC]]''', jejímž objektem jsou pouze [[množina|množiny]] a [[Vlastní třída|třídy]] tvoří pomocný konstrukt na úrovni [[metajazyk]]a, v '''NBG''' jsou množiny i třídy objektem ve světě teorie množin - na množiny jsou však kladena (jejich definicí) určitá omezení - jednoduše řečeno množiny jsou právě ty objekty, které jsou prvkem jiného objektu:<br />
<math>Set(X) \Leftrightarrow ( \exist Y)(X \isin Y)</math><br />
Někdy se k axiomům
<math> \neg Set(X) \Leftrightarrow ( \|
Na rozdíl od '''[[ZF]]''' neobsahuje (právě díky zavedení tříd jako součásti jazyka teorie množin) '''NBG''' nekonečný počet axiomů - nemusí si totiž vypomáhat axiomatickými schématy typu [[Zermelo-Fraenkelova teorie množin#Schéma axiomů nahrazení|schématu axiomů nahrazení]] nebo [[Zermelo-Fraenkelova teorie množin#Schéma axiomů vydělení|schématu axiomů vydělení]].
== Axiomy ==
|