Časová osa matematické logiky - Timeline of mathematical logic

A Časová osa z matematická logika. Viz také Historie logiky.

19. století

• 1847 – George Boole navrhuje v systému symbolickou logiku Matematická analýza logiky, definování toho, co se nyní nazývá Booleova algebra.
• 1854 - George Boole zdokonalil své myšlenky vydáním Vyšetřování zákonů myšlení.
• 1874 – Georg Cantor dokazuje, že soubor všech reálná čísla je nespočetně nekonečný ale soubor všeho skutečného algebraická čísla je počítatelně nekonečný. Jeho důkaz nepoužívá své slavné úhlopříčný argument, kterou publikoval v roce 1891.
• 1895 - Georg Cantor vydává knihu o teorii množin obsahující aritmetiku nekonečna základní čísla a hypotéza kontinua.
• 1899 - Georg Cantor objevil rozpor ve své teorii množin.

20. století

• 1908 – Ernst Zermelo axiomatizuje teorie množin, čímž se vyhneme Cantorovým rozporům.
• 1931 – Kurt Gödel dokazuje jeho věta o neúplnosti což ukazuje, že každý axiomatický systém pro matematiku je buď neúplný, nebo nekonzistentní.
• 1940 - Kurt Gödel ukazuje, že ani hypotéza kontinua ani axiom volby lze vyvrátit ze standardních axiomů teorie množin.
• 1961 – Abraham Robinson vytváří nestandardní analýza.
• 1963 – Paul Cohen používá svou techniku nutit ukázat, že ani hypotéza kontinua ani axiom volby lze dokázat ze standardních axiomů teorie množin.