Los teoremas de incompletitud tuvieron un efecto demoledor sobre el programa de Hilbert, por lo que se buscaron generalizaciones más sofisticadas para formalizar la aritmética.