#Formalismo

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.