Опровержение логическое, обоснование, или содержательное доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к формальным аналогам перечисленных понятий: формулам каких-либо исчислений, последовательностям формул, фигурирующим в качестве формальных выводов и доказательств, системам формул (и их подсистемам), играющим роль аксиом исчисления, системам следствий из аксиом и формальным системам (исчислениям) в целом — также можно говорить о логическом опровержении: О. л. формулы есть (формальное) доказательство её отрицания; О. л. формального вывода или доказательства — это эффективное указание на то, что данная последовательность формул не удовлетворяет определению вывода (доказательства); наконец, О. л. системы аксиом или исчисления в целом представляет собой содержательное доказательство противоречивости (несовместимости) данной системы