Логицизм (Подопригора, 2013)
ЛОГИЦИЗМ — направление в области философских проблем математики, пытающееся обосновать математику путем сведения ее к логике, т. е. путем определения ее «неопределяемых» (исходных) понятий в терминах логики, формулировки всех вообще ее предложений на «языке» математической логики и доказательства их (в т. ч. и аксиом) по правилам этой же логики. Предшественником Логицизма считается Г. Лейбниц, основателем Логицизма является Г.