#Fundamentos-Da-Matematica
3 notas · última:
Os axiomas de Peano
Os cinco axiomas que Peano publicou em 1889, a aritmética que se constrói sobre eles, e o limite que Gödel impôs em 1931.
O que significa "fundamentar a aritmética"
Categoricidade, modelos não-padrão e a leitura estrutural: o que está em jogo quando se diz que cinco axiomas fundamentam os números.
Incompletude e consistência: os dois teoremas de Gödel
Por que uma teoria que contém aritmética não pode ser completa nem demonstrar a própria consistência — os dois teoremas que Gödel provou em 1931.