„Im Archiv stieß er auf Aufzeichnungen des österreichischen Mathematikers Kurt Gödel, in denen es um Zeitreisen, Gottesbeweise und Engel ging.“
「彼は資料室で、タイムトラベルや神存在証明、天使に関するオーストリアの数学者クルト・ゲーデルの記録を見つけた。」
„Der ausführliche und methodische Nachweis der Wirklichkeit des reinen Seins ist ein Hauptanliegen der Gottesbeweise, […]“
「純粋存在の現実性についての詳細で方法的な論証は、神存在証明の主要な関心事である。」
