По-моему, никаких. Этот критерий по-сути и есть определение противоречивости
-- 06.11.2017, 17:22 --
Какие есть методы проверки множества на противоречивость. Я знаю, что если из мн-ва можно вывести формулу и ее отрицание, то оно противоречиво. Но, например, из (а) я не понимаю, как вывести что-либо. Какие еще есть критерии противоречивости мн-ва?
Кстати, тут всплывает интересный момент. Что значит "можно" в данном случае. Если никому не удалось вывести противоречивость, это еще не значит, что ее нет.
То есть, можно доказать противоречивость, если найти противоречие. Непротиворечивость же доказать невозможно, я так это понимаю