El matemático Kurt Gödel proporcionó un argumento formal para la existencia de Dios.