Возможно, имелся в виду закон двойного отрицания, который в некоторых случаях оказывается неприемлемым из-за требований к алгоритмической реализуемости обоснования математических суждений. 14

Закон двойного отрицания — принцип классической логики, согласно которому «если неверно, что неверно А, то А верно». 14

Однако есть ситуации, когда применение этого закона невозможно, например, когда для обоснования суждения требуется построить алгоритм, а рассуждение с использованием закона двойного отрицания не приводит к его созданию. 14 Более того, искомого алгоритма может вообще не существовать. 14

Кроме того, есть логики, в которых закон двойного отрицания не действует, например, в нечётных логиках (троичной, пятиричной, семиричной и т. д.). 1