Незважаючи на негативний характер теореми Геделя про неповноту, вона є свідченням того, наскільки близько до мети були логіцисти: кожна строго визначена математична теорія може бути коректно описана логічною теорією першого порядку, а числення доказів Фреґе є достатнім, щоб описати всю математику, хоча не є їй еквівалентним. Окрім теорії доведення та теорії моделей, теорія множин була джерелом багатьох важливих проблем в математичній логіці, від аксіоми вибору до аксіом великих кардинальних чисел.