22 vztahy: Axiom, Axiom silného výběru, Axiom výběru, Axiomatická teorie množin, John von Neumann, Kelleyova-Morseova teorie množin, Kurt Gödel, Matematika, Metajazyk, Množina, Mohutnost, Paul Bernays, Russellův paradox, Třída (matematika), Teorie množin, Univerzální třída, Vlastní třída, Zermelova-Fraenkelova teorie množin, ZFC, 1925, 1937, 1940.
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Axiom · Vidět víc »
Axiom silného výběru
Axiom silného výběru (též silný axiom výběru či zkráceně (AS), ekvivalentní s axiomem omezené velikosti) je matematické tvrzení z oblasti teorie množin, které je nezávislé při všech obvyklých axiomatizacích této teorie.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Axiom silného výběru · Vidět víc »
Axiom výběru
Axiom výběru (ozn. AC z angl. axiom of choice) je axiom často přidávaný k obvyklým axiomům Zermelovy–Fraenkelovy teorie množin (ZF).
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Axiom výběru · Vidět víc »
Axiomatická teorie množin
Bertranda Russela, která je jednou ze zakladatelských prací Axiomatické teorie množin Axiomatická teorie množin je označení pro teorii, která formalizuje vlastnosti množin takovým způsobem, aby bylo možné pomocí množin zkonstruovat všechny matematické objekty, takže dokazatelná tvrzení této teorie budou přesně odpovídat všem platným matematickým výsledkům ze všech oblastí matematiky (algebra, diferenciální rovnice, geometrie, teorie pravděpodobnosti i všechny ostatní).
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Axiomatická teorie množin · Vidět víc »
John von Neumann
John von Neumann (maďarsky Neumann János, 28. prosince 1903 Budapešť, Rakousko-Uhersko – 8. února 1957 Washington, D.C., Spojené státy americké) byl americký matematik maďarského původu, který značnou mírou přispěl k oborům jako jsou kvantová fyzika, funkcionální analýza, teorie množin, ekonomie, informatika, numerická analýza, hydrodynamika, statistika a mnoho dalších matematických disciplín.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a John von Neumann · Vidět víc »
Kelleyova-Morseova teorie množin
#PŘESMĚRUJ Kelleyova–Morseova teorie množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Kelleyova-Morseova teorie množin · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Kurt Gödel · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Matematika · Vidět víc »
Metajazyk
Metajazyk je jazyk používaný pro popis jiných jazyků.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Metajazyk · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Množina · Vidět víc »
Mohutnost
Mohutnost množiny (také kardinalita množiny) je pojmem teorie množin vyjadřující velikost, počet prvků u konečných, ale i nekonečných množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Mohutnost · Vidět víc »
Paul Bernays
Paul Bernays (17. října 1888, Londýn – 18. září 1977, Curych) byl matematik švýcarského původu.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Paul Bernays · Vidět víc »
Russellův paradox
Russellův paradox (též Russellova antinomie) je paradox, objevený v roce 1901 Bertrandem Russellem, který ukazuje, že Cantorova intuitivní teorie množin (naivní teorie množin) je vnitřně sporná.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Russellův paradox · Vidět víc »
Třída (matematika)
Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Třída (matematika) · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Teorie množin · Vidět víc »
Univerzální třída
Univerzální třída je matematický pojem z oboru teorie množin označující třídu všech množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Univerzální třída · Vidět víc »
Vlastní třída
Třída je metajazykový konstrukt používaný v moderní teorii množin k usnadnění komunikace.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Vlastní třída · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a Zermelova-Fraenkelova teorie množin · Vidět víc »
ZFC
ZFC je zkratka z matematického oboru teorie množin.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a ZFC · Vidět víc »
1925
1925 (MCMXXV) byl rok, který dle gregoriánského kalendáře započal čtvrtkem.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a 1925 · Vidět víc »
1937
1937 (MCMXXXVII) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a 1937 · Vidět víc »
1940
1940 (MCMXL) byl rok, který dle gregoriánského kalendáře započal pondělím.
Nový!!: Von Neumannova–Bernaysova–Gödelova teorie množin a 1940 · Vidět víc »