Entre 1830 y 1840, Bolzano trabajó en una obra mayor, "Grössenlehre" en la que tratará de reinterpretar toda la matemática bajo bases lógicas.