Über formal unedtscheidbare Sätze der Principia Mathematica und verwandter Systeme, I, Monatshefte für Mathematik und Physik, vol.38 (1931)

by K Gödel