T21_20

6 Maio 2019, 10:00 • Mário Jorge Edmundo

Axiomas da teoria Q de Robinson, nota sobre a inclusão da ordem; termos fechados e Q, variáveis limitadas por termos fechados; fórmulas Delta_0, Sigma_1 e Pi _1; Q decide correctamente proposições Delta _0; notas sobre completude e demonstração, completude e modelos; Q é Sigma _1 completo, Q não é completo, algumas extensões de Q, axiomas para a aritmética de Peano.