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