Tema da semana: sistemas axiomáticos. Exercícios secção 6.1.

Sistemas axiomáticos através dum exemplo: sistemas consistentes e não consistentes, teoremas, independência de axiomas. Exercício 6.1.2.