sistemas formais

Incompletude de Gödel: os limites da matemática

O Teorema da Incompletude de Gödel é um marco na história da lógica e da matemática, introduzido em…