13 vztahy: Axiom, Filosofie, Formule (logika), Jazyk (logika), Matematická logika, Matematika, Model (logika), Naivní teorie množin, Peanova aritmetika, Robinsonova aritmetika, Rovnost (matematika), 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ý!!: Formální teorie a Axiom · Vidět víc »
Filosofie
#PŘESMĚRUJ Filozofie Kategorie:Přesměrování z alternativního pravopisu.
Nový!!: Formální teorie a Filosofie · 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ý!!: Formální teorie a Formule (logika) · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Formální teorie a Jazyk (logika) · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Formální teorie a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Formální teorie a Matematika · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Formální teorie a Model (logika) · 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ý!!: Formální teorie a Naivní teorie množin · Vidět víc »
Peanova aritmetika
Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Formální teorie a Peanova aritmetika · Vidět víc »
Robinsonova aritmetika
Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Formální teorie a Robinsonova aritmetika · Vidět víc »
Rovnost (matematika)
Rovnost v matematice je relace neboli vztah, vyjadřující totožnost objektů, které jsou v tomto vztahu.
Nový!!: Formální teorie a Rovnost (matematika) · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Formální teorie a Teorie množin · Vidět víc »
Zermelova–Fraenkelova teorie množin
Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích používána jako základ pro většinu dalších odvětví matematiky včetně algebry a matematické analýzy.
Nový!!: Formální teorie a Zermelova–Fraenkelova teorie množin · Vidět víc »