Sin embargo, el primer intento serio y detallado de reducir la matemática a la lógica tuvo que esperar hasta el siglo XIX, cuando Richard Dedekind, Georg Cantor y Giuseppe Peano articularon los principios básicos de la matemática, y Gottlob Frege desarrolló el primer sistema de lógica de predicados.