"Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel y que concluye que en base a los principios de la lógica debe existir Dios. A finales de los años 70 Gödel argumentó que, por definición, "no puede existir nada más grande de un ser supremo", y propuso mediante argumentaciones lógico-matemático la existencia de Dios. Su intención era..."