Элемент 'интуиционистская логика'