Sin embargo, la aritmética es una teoría completable añadiendo un conjunto de axiomas infinito y no recursivo.