Wat Gödel ontdekte was dat er binnen een logisch systeem uitspraken geformuleerd kunnen worden die onbeslisbaar zijn. Dit werd in 1931 door hem gepubliceerd in het artikel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, waarbij de term Principia Mathematica verwijst naar het gelijknamige 3-delige boekwerk van Alfred North Whitehead en Bertrand Russel dat tussen 1910 en 1913 tot stand kwam en tot doel had de wiskunde geheel in termen van de logica op te bouwen in het kader van een logische stroming die bekend staat als de logistica, met Whitehead en Russel als de belangrijkste aanhangers daarvan.
__________________
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel