интуиционистские аксиомы

Мат. intuitionistic axioms