16 vztahy: Axiom konstruovatelnosti, Axiom silného výběru, Axiom výběru, Bezesporná teorie, Dobře uspořádaná množina, Fundované jádro, Limitní ordinál, Matematika, Ordinální číslo, Podmnožina, Potenční množina, Prázdná množina, Teorie množin, Transfinitní rekurze, Zermelova-Fraenkelova teorie množin, Zobecněná hypotéza kontinua.
Axiom konstruovatelnosti
Axiom konstruovatelnosti tvrdí, že třída \mathbb všech konstruovatelných množin je totožná s univerzální třídou \mathbb (tj. třídou všech množin).
Nový!!: Konstruovatelná množina a Axiom konstruovatelnosti · 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ý!!: Konstruovatelná množina 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ý!!: Konstruovatelná množina a Axiom výběru · Vidět víc »
Bezesporná teorie
Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se používá označení sporná teorie.
Nový!!: Konstruovatelná množina a Bezesporná teorie · 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ý!!: Konstruovatelná množina a Dobře uspořádaná množina · Vidět víc »
Fundované jádro
Fundované jádro (ozn. WF) je matematický pojem z oblasti teorie množin.
Nový!!: Konstruovatelná množina a Fundované jádro · Vidět víc »
Limitní ordinál
Ordinální číslo Limitní ordinál je ordinální číslo, které nemá předchůdce a není prázdné.
Nový!!: Konstruovatelná množina a Limitní ordinál · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Konstruovatelná množina 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ý!!: Konstruovatelná množina a Ordinální číslo · Vidět víc »
Podmnožina
B je podmnožina A, A je nadmnožina B V matematice se jako podmnožina množiny A označuje taková množina B, o jejíchž všech prvcích platí, že jsou zároveň i prvky množiny A. Obdobně se může množina A označit jako nadmnožina množiny B. Tato fakta značíme B \subseteq A, případně A \supseteq B. Relace „být podmnožinou“ se nazývá také inkluze.
Nový!!: Konstruovatelná množina a Podmnožina · Vidět víc »
Potenční množina
Hasseův diagram potenční množiny ke trojprvkové množině ''x'', ''y'', ''z''. Potenční množina množiny X \,\! (značí se \mathcal(X) \,\! nebo též 2^X \,\!), podle některých autorů též booleán \mathcal(X) \,\!, je taková množina, která obsahuje všechny podmnožiny množiny X \,\!.
Nový!!: Konstruovatelná množina a Potenční množina · Vidět víc »
Prázdná množina
Jedna z variant zápisu prázdné množiny Prázdná množina je v matematice množina, která neobsahuje žádné prvky.
Nový!!: Konstruovatelná množina a Prázdná množina · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Konstruovatelná množina a Teorie množin · Vidět víc »
Transfinitní rekurze
Transfinitní rekurze je matematický pojem z oboru teorie množin, který zobecňuje běžně používaný pojem rekurze z přirozených čísel na všechna ordinální čísla.
Nový!!: Konstruovatelná množina a Transfinitní rekurze · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Konstruovatelná množina a Zermelova-Fraenkelova teorie množin · Vidět víc »
Zobecněná hypotéza kontinua
Zobecněná hypotéza kontinua (označovaná často zkratkou GCH z anglického) je matematická hypotéza z oboru teorie množin, konkrétněji z oboru kardinální aritmetiky.
Nový!!: Konstruovatelná množina a Zobecněná hypotéza kontinua · Vidět víc »