14 vztahy: Axiom, Axiom úplného výběru, Axiom silného výběru, Axiom výběru, Bijekce, Dobře uspořádaná množina, Matematika, Ordinální číslo, Třída (matematika), Teorie množin, Univerzální třída, Vlastní třída, Von Neumannova-Bernaysova-Gödelova teorie množin, Zermelova-Fraenkelova teorie množin.
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ý!!: Axiom omezené velikosti a Axiom · Vidět víc »
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 omezené velikosti 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 omezené velikosti 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 omezené velikosti a Axiom výběru · Vidět víc »
Bijekce
Bijektivní funkceBijekce (bijektivní zobrazení, vzájemně jednoznačné zobrazení) je zobrazení, které je zároveň prosté i na.
Nový!!: Axiom omezené velikosti a Bijekce · Vidět víc »
Dobře uspořádaná množina
V matematice se množina S nazývá dobře uspořádanou množinou, pokud má každá neprázdná část uspořádané množiny S nejmenší prvek.
Nový!!: Axiom omezené velikosti a Dobře uspořádaná množina · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Axiom omezené velikosti a Matematika · Vidět víc »
Ordinální číslo
V teorii množin je ordinální číslo zobecněním myšlenky pořadí prvku v uspořádané množině, jež je v přirozeném jazyce vyjádřena řadovou číslovkou jako „první“ či „pátý“.
Nový!!: Axiom omezené velikosti a Ordinální číslo · 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ý!!: Axiom omezené velikosti 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ý!!: Axiom omezené velikosti 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ý!!: Axiom omezené velikosti 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ý!!: Axiom omezené velikosti a Vlastní třída · Vidět víc »
Von Neumannova-Bernaysova-Gödelova teorie množin
#PŘESMĚRUJ Von Neumannova–Bernaysova–Gödelova teorie množin.
Nový!!: Axiom omezené velikosti a Von Neumannova-Bernaysova-Gödelova teorie množin · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Axiom omezené velikosti a Zermelova-Fraenkelova teorie množin · Vidět víc »