Der Gödel'sche Beweis Goedel's Proof - Nagel, Ernest (Oldenbourg, 1964)