Über formal unentscheidebarre Sätze der Principia Mathamtica und verwandler System I” Monathshefte für Mathematik und (1931)

by K Gödel
Venue:English translation in Gödel’s Collected Works, vol I