AT26 Segundo Teorema da Incompletude de Godel

30 Maio 2019, 14:00 Maria Cristina De Sales Viana Serôdio Sernadas

Teorema de Lob. Fórmula que representa a não derivabilidade do falsum. Segundo Teorema da Incompletude de Godel. Existência de fórmula
fechada que nem ela nem a sua negação pertencem a teoria suficientemente da aritmética.