Stav dette: Симметрическая конструктивная логика