Seznam témat formální logiky
Toto je seznam témat formální logiky, Wikipedia stranou.Pro tradiční syllogistic logiku, viďte seznam témat v logice. Fungovat na ukáže seznam nejvíce-nedávná redigování článků ke kterému tato strana spojuje. Tato strana spojení na sebe v rozkazu, že nedávné změny k této straně budou také být zahrnuty v příbuzných změnách.
| Tabulka s obsahem |
| 1 pracovní základy 2 modelovat teorii 3 teorie množin 4 velcí kardinálové 5 rekurzivní teorie 6 teorie důkazu 7 matematického constructivism |
- Peano axiómy
- Matematické přerušení
- Naivní teorie množin
- Vesmír (matematika)
- Axiomatization
- Axiomatický systém
- Matematický důkaz
- Tautologie
- Hustota
- Arithmetization analýzy
- Založení matematiky
- Aritmetika buzení
- Formální jazyk
- Giuseppe Peano
Modelová teorie
- Funkční predikát
- Nejprve-objednávat počet predikátu
- Teorém kompaktnosti
- Löwenheim-Skolem teorém
- Teorém zdravosti
- Gödel je teorém úplnosti
- Gödel incompleteness teorém
- Ultraproduct
- Nestandardní analýza
- Sekunda-objednávat logiku
- Whitehead problém
- Kurt Gödel
- Alfred Tarski
- Saharon Shelah
Teorie množin
- Axiomatická teorie množin
- Odůvodněný vztah
- Transfinite číslo
- Řadová číslovka
- Kardinální číslo
- Cantor-Bernstein-Schroeder teorém
- Zermelo-Fraenkel axiómy
- Zermelo teorie množin
- Třída (dala teorii)
- Hypotéza kontinua
- Nutit (matematiku)
- Freiling axióm symetrie
- Goodstein teorém
- Gödel je vesmír constructible
- Hereditarily konečná množina
- Suslin hypotéza, Suslin problém
- Ernst Zermelo
- Paul Cohen
Velcí kardinálové
- Erdös kardinál
- Roztažitelný kardinál
- Obrovský kardinál
- Nepřístupný kardinál
- Nevyslovitelný kardinál
- Mahlo kardinál
- Měřitelný kardinál
- N-obrovský kardinál
- N-Mahlo kardinál
- Ramsey kardinál
- Rank-do-pozice
- Silný kardinál
- Silně nepřístupný kardinál
- Důvtipný kardinál
- Supercompact kardinál
- Superstrong kardinál
- Totálně nepopsatelný kardinál
- Slabě kompaktní kardinál
- Slabě nepřístupný kardinál
- Woodin kardinál
Rekurzivní teorie
- Entscheidungsproblem
- Problém rozhodnutí
- Kostel-Turing teze
- Rekurzivní funkce
- Kleene rekurzivní teorém
- Rekurzívně enumerable soubor
- Decidable jazyk
- Undecidable jazyk
- Riceův teorém
- Efektivní výsledky v teorii čísel
- Diophantine soubor
- Matiyasevich teorém
- Aritmetická hierarchie
- Subrecursion teorie
- Hypercomputation
- Alonzo Church
- Emil Post
- Alan Turing
- Jacques Herbrand
- Haskell Curry
- Stephen Cole Kleene
Teorie důkazu
- Metamathematics
- Následující
- Následující počet
- Substructural logics
- Gerhard Gentzen