1.1 Introdução aos Sistemas Formais
Nesta primeira aula, estabelecemos as bases do que constitui uma teoria formal. Diferenciamos a linguagem natural da linguagem estritamente formalizada, preparando o terreno para a introdução dos axiomas.
Discutimos também brevemente a crise dos fundamentos da matemática no início do século XX, que motivou figuras como David Hilbert a buscar a axiomatização completa, uma busca que culminaria nos famosos teoremas de Gödel que analisaremos nos módulos finais.