Kurt Gödel (1906–1978) österreichisch-amerikanischer Mathematiker und Logiker
p. 172 books.google https://books.google.de/books?id=5ya4A0w62skC&pg=PA172&dq=vi <br class="br">Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.