Formalismos dedutivos

• Estilos de formalismo dedutivo

Para reflexão

• É possível mecanizar inteiramente a Matemática?
• Uma questão terminológica: prova ou demonstração? [1] [2] [3] [4]

Veja também

• Dedução Natural
• Cálculo de Sequentes
• Tableaux
• Método da Resolução
• Introdução Computacional à Lógica Matemática

Links externos

• Teoremas de Incompletabilidade de Gödel