nurt obecny w teorii matematyki, obejmujący kilka różnych kierunków, których cechą wspólną jest żądanie ograniczenia się do rozpatrywania wyłącznie obiektów matematycznych konstruowalnych i do operacji konstruktywnych.

dział filozofii zajmujący się badaniem filozoficznych podstaw nauki oraz jej metod, starający się odpowiedzieć na pytanie, jakie poglądy można uznać za naukowe, a jakie nie i dlaczego.

dział filozofii zajmujący się badaniem filozoficznych podstaw nauki oraz jej metod, starający się odpowiedzieć na pytanie, jakie poglądy można uznać za naukowe, a jakie nie i dlaczego.

kierunek w filozofii matematyki, będący formą rozwojową logicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty, pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.

kierunek w filozofii matematyki, będący formą rozwojową logicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty, pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.