ИНТУИЦИОНИСТСКАЯ ЛОГИКА

логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.