Por esa razón, se comenzó a trabajar sobre la construcción de sistemas para formalizar la aritmética mediante lenguajes formales de segundo orden.