Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.1) (robot přidal: pt:Teoria dos conjuntos de Von Neumann-Bernays-Gödel |
m Odstranění linku na rozcestník ZF s použitím robota - Změněn(y) odkaz(y) na Zermelova-Fraenkelova teorie množin; kosmetické úpravy |
||
Řádek 7:
== 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ší '''[[Zermelova-Fraenkelova teorie množin|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 '''[[Zermelova-Fraenkelova teorie množin|ZF]]''' — mluvíme tedy o teorii '''NBG''' jako o [[Konzervativní rozšíření|konzervativním rozšíření]] teorie '''[[Zermelova-Fraenkelova teorie množin|ZF]]''' (říkáme také, že '''NBG''' a '''
Na rozdíl od '''[[ZFC]]''', jejímž objektem jsou pouze [[množina|množiny]], zatímco [[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:
Řádek 15:
kde <math>V</math> je třída všech množin — [[univerzální třída]].
Na rozdíl od '''
== Axiomy ==
Řádek 26:
* axiom nahrazení: <math>(\forall F)((\forall y,e_1,e_2)((<y,e_1> \in F \and <y,e_2>\in F) \Rightarrow e_1=e_2) \Rightarrow</math> <math>\Rightarrow (\forall x)(\exists z)(\forall e)(e\in z \Leftrightarrow (\exists y)(y \in x \and <y,e>\in F)))</math>
Nutno dodat, že schéma existence tříd je možné nahradit konečně mnoha jednotlivými [[axiom]]y. V důsledku toho je '''NBG''' konečně axiomatizovatelná (na rozdíl od '''
== Související články ==
Řádek 34:
{{Portály|Matematika}}
[[Kategorie:Axiomy a axiomatizace teorie množin|*]]
| |||