Gottlob Frege, que ideó un sistema más preciso, intentó fundamentar adecuadamente la teoría de conjuntos (y por tanto todas las matemáticas), pero, para su desaliento, Bertrand Russell descubrió una paradoja en la teoría de aquél (hoy llamada "paradoja de Russell"), con lo que el sistema de Frege parecía desbaratarse.