Критика интуиционизма проистекала из того простого факта, что его представителям не удалось сколько-нибудь серьезно продвинуться в построении новой математики и особенно математики, пригодной для практического применения. К тому же они отрицали ряд классических теорем и даже разделов математики, которые не могли обосновать своими методами, что было совершенно неприемлемо для математиков.
Формализм стал выражением номинализма в математике. Математика невыводима из логики, она является автономной научной дисциплиной. Математику следует рассматривать как формальную дисциплину, занимающуюся преобразованием символов безотносительно к их значению. Символы вводятся по соглашению и лишены всякого постороннего, в том числе и интуитивного смысла. Значение символа определяется правилами его использования в системе исчисления. Очевидно, что количество построенных таким образом формальных систем неограниченно, каждая из них имеет свой набор аксиом, свои правила дедуктивного вывода и свои теоремы. Формализм критиковали за то, что он превратил математику в пустую игру символами, лишив математические понятия интуитивно очевидного содержания и реальной связи с материальным миром.
Представители теоретико-множественного направления, так же, как логицисты, были реалистами в решении проблемы онтологического статуса математических объектов. Они видели свою главную задачу в избавлении теории множеств, которую они рассматривали как основание чистой математики, от противоречий. Им удалось аксиоматизировать теорию множеств таким образом, что в ней перестали возникать противоречия. Представителей теоретико-множественного направления критиковали за неясность логических оснований, на которых построена их математика, за произвольность, искусственность и интуитивную неочевидность их аксиом.
Возникновение описанных выше направлений привело к тому, что математика к 30-м гг. XX в. утратила внутреннее единство: разные направления придерживались разных стандартов правильности доказательства теорем. К тому же вышеперечисленные направления, в свою очередь, распались на различные течения, что породило еще большую путаницу в понимании оснований математики.
Ситуация осложнялась и тем, что не были решены проблемы непротиворечивости и полноты математики. Хотя известные парадоксы и получали решения (по-разному в разных направлениях математики), но не было гарантии, что не возникнут новые. Проблема полноты аксиоматических систем сводится к тому, что в рамках принятой системы аксиом должна доказываться истинность или ложность всех осмысленных высказываний для определенной области математики.