Gödel, K. - dielo
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931. L827