Направление в области философских проблем математики, пытающееся обосновать математику путем сведения ее к логике, т. е. путем определения ее "неопределяемых" (исходных) понятий в терминах логики, формулировки всех вообще ее предложений на "языке" математической логики и доказательства их (в т. ч. и аксиом) по правилам этой же логики