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