интуиционистское следствие

Мат. intuitionistic consequence