Элемент 'intuitionistic logic'