Współcześnie logicyzm został wchłonięty w warstwie technicznej przez formalizm który stanowi wraz z aksjomatyką teorii mnogości paradygmat rozwojowy podstaw matematyki, przynajmniej w zakresie przedstawiania wiedzy i edukacji.
pl.wikipedia.org Intuicjonizm stoi w niejakiej opozycji w stosunku do poglądów upatrujących sensu twierdzeń matematycznych wyłącznie w ich wyprowadzalności z aksjomatów, jak logicyzm, a zwłaszcza formalizm.
pl.wikipedia.org Różnica pomiędzy logicyzmem a formalizmem polega na tym, że logicyzm nie wypowiada się na temat znaczenia pojęć pozalogicznych używanych do konstrukcji matematyki.
pl.wikipedia.org Logicyzm głosi, że wszystkie twierdzenia matematyki można, posługując się definicjami i regułami logicznymi, zredukować do logiki.
pl.wikipedia.org Logicyzm to kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika).
pl.wikipedia.org