Gödel’s Ontological Proof and its Consistency Consequences

21 views

Skip to first unread message

jean-yves beziau

unread,

Jul 14, 2026, 10:11:20 AM (9 days ago) Jul 14

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Recentemente publicado na revista Logica Universalis:

https://link.springer.com/journal/11787

Neste artigo, mostra-se que, a partir da prova gödeliana da existência de Deus, é possível demonstrar a consistência da aritmética e também da teoria dos conjuntos ZF.
Se Deus existe, então tudo é possível!