Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme,’ Monatshefte für Mathematik und Physik (1931)

by K Gödel