Обратное утверждение
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=3387)
верно в классической логике (
закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить
интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.