Benzmüllers Arbeit über das ontologische Argument wird in Scientific American und Spektrum der Wissenschaft erwähnt/erörtert.
Siehe https://www.scientificamerican.com/article/can-god-be-proved-mathematically/ and https://www.spektrum.de/kolumne/ontologischer-beweis-goedel-zeigt-dass-gott-existiert-oder-nicht/2052687 (allerdings scheinen nicht alle Aussagen in diesen Artikeln formal korrekt zu sein).