Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. Anzeiger der Akademie der Wissenschaften in (1930)

by Kurt Gödel