Apresentação
Série introdutória sobre os principais conceitos relacionados a sistemas formais. Discutiremos as definições de sistema formal, fórmula, prova formal, teorema e metateorema, indução, verdade, decidibilidade e consistência. Alguns exemplos são dados em função de um sistema bastante simples (sistema MAIS).