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