da Silva VC. Formalização e axiomatização de provas ontológicas: Das conjecturas de Jeans e Schrödinger à formulação computacional de Benzmüller e Woltzenlogel Paleo da prova de Gödel. Perspectivas [Internet]. 16º de novembro de 2019 [citado 29º de abril de 2024];2(2):83-113. Disponível em: https://sistemas.uft.edu.br/periodicos/index.php/perspectivas/article/view/7933