14 vztahy: Axiom úplného výběru, Axiom silného výběru, Axiom výběru, Axiom závislého výběru, Heineho věta, Kelley-Morseova teorie množin, Matematická analýza, Matematika, Množina, NBG, Paul Cohen, Spočetná množina, Teorie množin, Zermelova-Fraenkelova teorie množin.
Axiom úplného výběru
Axiom úplného výběru (také axiom globálního výběru) je matematické tvrzení z oblasti teorie množin.
Nový!!: Axiom spočetného výběru a Axiom úplného výběru · 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ý!!: Axiom spočetného výběru 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ý!!: Axiom spočetného výběru a Axiom výběru · Vidět víc »
Axiom závislého výběru
Axiom závislého výběru (zkráceně (DC) – „dependent choice“) je matematické tvrzení z oblasti teorie množin, které je slabší verzí axiomu výběru.
Nový!!: Axiom spočetného výběru a Axiom závislého výběru · Vidět víc »
Heineho věta
Heineho věta je jedno z úvodních tvrzení matematické analýzy, která dává do souvislosti limitu funkce a limitu posloupnosti.
Nový!!: Axiom spočetného výběru a Heineho věta · Vidět víc »
Kelley-Morseova teorie množin
#PŘESMĚRUJ Kelleyova–Morseova teorie množin.
Nový!!: Axiom spočetného výběru a Kelley-Morseova teorie množin · Vidět víc »
Matematická analýza
Matematická analýza („řešení“, starořecky ἀναλύειν ánalýein „řešit“) je jednou ze základních disciplín matematiky.
Nový!!: Axiom spočetného výběru a Matematická analýza · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Axiom spočetného výběru a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Axiom spočetného výběru a Množina · Vidět víc »
NBG
#PŘESMĚRUJ Von Neumannova–Bernaysova–Gödelova teorie množin.
Nový!!: Axiom spočetného výběru a NBG · Vidět víc »
Paul Cohen
Paul Joseph Cohen (2. dubna 1934 Long Branch, New Jersey, USA – 23. března 2007 Palo Alto, Kalifornie) byl americký matematik, který dokázal nezávislosti hypotézy kontinua a axiomu výběru ze Zermelovy-Fraenkelovy teorie množin metodou zvanou forcing.
Nový!!: Axiom spočetného výběru a Paul Cohen · Vidět víc »
Spočetná množina
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
Nový!!: Axiom spočetného výběru a Spočetná množina · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Axiom spočetného výběru a Teorie množin · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Axiom spočetného výběru a Zermelova-Fraenkelova teorie množin · Vidět víc »