23 vztahy: Axiom, Burali-Fortiho paradox, Cantorův paradox, Formule (logika), Funkce (matematika), Funkce alef, Matematika, Metajazyk, Množina, Naivní teorie množin, Nekonečná množina, Paradoxy naivní teorie množin, Petr Hájek (matematik), Petr Vopěnka, Prvek množiny, Relace (matematika), Russellův paradox, Teorie množin, Teorie polomnož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ý!!: Třída (matematika) a Axiom · Vidět víc »
Burali-Fortiho paradox
Burali-Fortiho paradox je poznatek publikovaný roku 1897, který spolu s dalšími výsledky podobného typu (označovanými jako paradoxy nebo antinomie) vedl ke krizi klasické naivní teorie množin a jejímu následnému nahrazení axiomatickým systémem.
Nový!!: Třída (matematika) a Burali-Fortiho paradox · Vidět víc »
Cantorův paradox
Cantorův paradox je poznatek publikovaný Georgem Cantorem roku 1899, který spolu s dalšími výsledky podobného typu (označovanými jako antinomie nebo paradoxy naivní teorie množin) vedl ke krizi klasické naivní teorie množin a jejímu následnému nahrazení axiomatickým systémem.
Nový!!: Třída (matematika) a Cantorův paradox · Vidět víc »
Formule (logika)
Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
Nový!!: Třída (matematika) a Formule (logika) · Vidět víc »
Funkce (matematika)
Zobrazení '''z''' množiny '''M''' (nahoře) resp. množiny '''D''' (dole) '''na''' množinu '''T''' (přerušovaná čára) resp. '''do''' množiny '''T''' (plná čára). Funkce je v matematice název pro zobrazení z množiny M na nebo do číselné množiny T (většinou reálných nebo komplexních čísel), či na nebo do vektorového prostoru T tvořeného uspořádanými n-ticemi čísel (vektorová funkce).
Nový!!: Třída (matematika) a Funkce (matematika) · Vidět víc »
Funkce alef
Funkce Alef (značená \aleph\,\! a nazývaná podle prvního hebrejského písmene Alef) se používá v axiomatické teorii množin pro zobrazení, které ordinálnímu číslu \alpha přiřadí kardinální číslo představující \alpha-tou nejmenší nekonečnou mohutnost.
Nový!!: Třída (matematika) a Funkce alef · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Třída (matematika) a Matematika · Vidět víc »
Metajazyk
Metajazyk je jazyk používaný pro popis jiných jazyků.
Nový!!: Třída (matematika) a Metajazyk · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Třída (matematika) a Množina · Vidět víc »
Naivní teorie množin
Jako naivní teorie množin je dnes označována původní teorie množin vytvořená Georgem Cantorem v druhé polovině 19. století.
Nový!!: Třída (matematika) a Naivní teorie množin · Vidět víc »
Nekonečná množina
Nekonečná množina je matematický pojem z oboru teorie množin.
Nový!!: Třída (matematika) a Nekonečná množina · Vidět víc »
Paradoxy naivní teorie množin
Paradoxy naivní teorie množin jsou důkazy sporu v původní Cantorově naivní teorii množin.
Nový!!: Třída (matematika) a Paradoxy naivní teorie množin · Vidět víc »
Petr Hájek (matematik)
Petr Hájek (6. února 1940 Praha – 26. prosince 2016) byl český vědec v oblasti matematické logiky a profesor matematiky.
Nový!!: Třída (matematika) a Petr Hájek (matematik) · Vidět víc »
Petr Vopěnka
Petr Vopěnka (16. května 1935, Praha – 20. března 2015, Praha) byl český matematik a filozof.
Nový!!: Třída (matematika) a Petr Vopěnka · Vidět víc »
Prvek množiny
Prvky množiny (také členy nebo elementy množiny) jsou v matematice takové objekty, které jsou obsaženy v dané množině.
Nový!!: Třída (matematika) a Prvek množiny · Vidět víc »
Relace (matematika)
Jako relaci nebo n-ární relaci nazveme v matematice libovolný vztah mezi skupinou prvků jedné nebo více množin.
Nový!!: Třída (matematika) a Relace (matematika) · 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ý!!: Třída (matematika) a Russellův paradox · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Třída (matematika) a Teorie množin · Vidět víc »
Teorie polomnožin
Teorie polomnožin je matematická teorie zobecňující teorii množin, která byla vyvinuta v 70.
Nový!!: Třída (matematika) a Teorie polomnož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ý!!: Třída (matematika) 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ý!!: Třída (matematika) 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ý!!: Třída (matematika) 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ý!!: Třída (matematika) a Zermelova-Fraenkelova teorie množin · Vidět víc »