Gödel a ontologický důkaz

Gödelův důkaz tak, jak ho popisuje Petr Hájek (logik, nikoli poradce) se trochu od Gödelova rukopisu odchyluje, pochopitelně v zájmu srozumitelnosti. Původnější anglicko-české zrcadlové vydání v PDF je zde:

https://docs.google.com/open?id=0B3pp9Xdhjj-sOTVhNzU2YTktMTgzNy00ODNmLWE0NDItYzRiOWI2ZmQ0NWU5

Sice nebylo skoro co překládat, ale je téměř jisté, že alespoň jedna hrubá chyba tam je. Zkuste ji najít.

Proklos o tom, o čem lze jen mlčet

τὸ δὲ καὶ ποιητικὴν αὐτῇ καὶ γεννητικὴν ἀπονέμειν αἰτίαν πορρώτερον φέρεται τῆς τοῦ πρώτου παντελοῦς ἑνώσεως· οὔτε γὰρ εἰ αἴτιον ἐκεῖνο τῶν ὄντων οὔτε εἰ γεννητικόν, ἢ γνῶναι τοῖς δευτέροις θεμιτὸν ἢ λόγῳ διελθεῖν, ἀλλὰ σιγῇ τὸ ἄρρητον αὐτοῦ καὶ πρὸτῶν αἰτίων πάντων ἀναιτίως αἴτιον ἀνυμνεῖν.

Πρόκλος – Περί της κατά Πλάτωνα Θεολογίας

Chceme-li však počátek všeho chápat zároveň jako tvůrčí a plodivou příčinu, pak se už od dokonalé prvotní jednoty začínáme poněkud vzdalovat. Neboť i pokud platí, že je plodivé a je příčinou všech jsoucích věcí, nižším bytostem není dáno to poznat nebo vyložit ve slovech, ale smí pouze mlčením opěvovat nevýslovnost této nezapříčiňující příčiny, jež všem příčinám předchází.

Proklos – Platónská teologie