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