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