Title: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
First published: 1962
Subjects: Gödel's theorem, Goedel's theorem