Stav dette: Teoría de la aritmética