Матемаг, отличай уровни на которых говорят.

Противоречия тоже разные бывают, привожу пример.

Пусть у меня есть следующий набор значений описывающая утверждение: [[], [T], [F], [T, F]].
Здесь [T, F] - противоречие (в самом деле, если утверждение и истинно и ложно, то оно противоречиво), а [] - отсутствие утверждения.

Теперь у нас есть несколько вариантов противоречия. То которое мы ввели в моей логической системе [T, F]. И принятие нескольких значений сразу из системы сразу. В самом деле высказывание может либо существовать, либо нет, но никак не может совмещать эти два состояния.


Так вот, когда ты говоришь, что некоторые системы уживаются с наличием противоречий. Надо понимать что это за противоречия и чётко их разделять друг от друга.