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