Логицизм (Подопригора, 2013)

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 196.