17 vztahy: Úplná teorie, Axiom konstruovatelnosti, Formální teorie, Formule (logika), Gödelova věta o úplnosti predikátové logiky, Gödelovy věty o neúplnosti, Hilbertovský kalkulus, Hypotéza kontinua, Logika, Matematická logika, Množina, Model (logika), Negace, Peanova aritmetika, Sentence, Zermelova–Fraenkelova teorie množin, ZFC.
Úplná teorie
V matematické logice se pojmem úplná teorie označuje teorie, která je bezesporná a jejíž každé rozšíření je sporné.
Nový!!: Bezesporná teorie a Úplná teorie · Vidět víc »
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ý!!: Bezesporná teorie a Axiom konstruovatelnosti · Vidět víc »
Formální teorie
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe.
Nový!!: Bezesporná teorie a Formální teorie · 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ý!!: Bezesporná teorie a Formule (logika) · Vidět víc »
Gödelova věta o úplnosti predikátové logiky
Gödelova věta o úplnosti predikátové logiky (také jen Gödelova věta o úplnosti či věta o úplnosti) je základní větou matematické logiky.
Nový!!: Bezesporná teorie a Gödelova věta o úplnosti predikátové logiky · Vidět víc »
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice.
Nový!!: Bezesporná teorie a Gödelovy věty o neúplnosti · Vidět víc »
Hilbertovský kalkulus
Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika.
Nový!!: Bezesporná teorie a Hilbertovský kalkulus · Vidět víc »
Hypotéza kontinua
Hypotéza kontinua (označovaná někdy jako CH (z anglického Continuum Hypothesis)) je matematické tvrzení formulované poprvé Georgem Cantorem v roce 1882.
Nový!!: Bezesporná teorie a Hypotéza kontinua · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Bezesporná teorie a 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ý!!: Bezesporná teorie a Matematická logika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Bezesporná teorie a Množina · Vidět víc »
Model (logika)
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky.
Nový!!: Bezesporná teorie a Model (logika) · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Bezesporná teorie a Negace · Vidět víc »
Peanova aritmetika
Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Bezesporná teorie a Peanova aritmetika · Vidět víc »
Sentence
Sentence může znamenat.
Nový!!: Bezesporná teorie a Sentence · 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ý!!: Bezesporná teorie a Zermelova–Fraenkelova teorie množin · Vidět víc »
ZFC
ZFC je zkratka z matematického oboru teorie množin.
Nový!!: Bezesporná teorie a ZFC · Vidět víc »
Přesměrování zde:
Bezespornost, Konzistence (matematika), Konzistentní teorie, Relativní bezespornost, Relativně bezesporná teorie, Sporná teorie.