Статьи в словаре Ефремовой
1. устар. Математическая логика.
2. Одно из философских направлений математики, обосновывающее возможность сведения всей математики к математической логике.
