Логицизм
1) направление в философии математики начала XX в. (Г. Фреге, Б. Рассел и др.), выдвинувшего программу обоснования наиболее фундаментальных математических теорий (и прежде всего арифметики натуральных чисел) путем выведения их аксиом в качестве следствий (теорем) определенных логических систем.