Непротиворечивость, совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие-либо два предложения А и ØА, каждое из которых является отрицанием другого. Для широкого класса формальных теорий, включающих аксиому А & ØА ÉВ («из противоречия следует любое утверждение»), Непротиворечивость равносильна существованию в данной теории хотя бы одного недоказуемого предложения.

  Непротиворечивость, необходимая для того чтобы система могла рассматриваться как описание некоторой «содержательной ситуации», отнюдь не гарантирует существования такой ситуации. Впрочем, для любой непротиворечивой системы аксиом в каждом случае могут быть указаны абстрактные модели; поэтому для представителей «классических» направлений в основаниях математики и логики (и тем более для представителей моделей теории) Непротиворечивость служит если и не обоснованием «существования» описываемых аксиомами совокупностей абстрактных объектов, то, по крайней мере, достаточным основанием для содержательного рассмотрения и изучения таких объектов. Поскольку описываемая теорией «ситуация» лежит вне самой теории, данное выше понятие Непротиворечивость, которое можно назвать «внутренней» (иначе —синтаксической, или логической) Непротиворечивость, тесно связано с так называемой «внешней» (семантической) Непротиворечивость, заключающейся в недоказуемости в данной теории никакого предложения, противоречащего (в обычном содержательном смысле) фактам описываемой ею «действительности». Несмотря на эту связь, синтаксическая и семантическая Непротиворечивость равносильны лишь для таких «бедных» логических теорий, как, например, исчисление высказываний (см. Логика высказываний); вообще же говоря, внутренняя Непротиворечивость сильнее внешней. Роль отображаемой какой-либо конкретной теорией «действительности» может играть и некоторая другая дедуктивная теория, так что внешнюю Непротиворечивость исходной теории можно понимать как её относительную Непротиворечивость, а указание системы соответствующих семантических правил перевода понятий, выражений и утверждений из второй теории в первую, дающее интерпретацию (модель) исходной теории, оказывается для неё доказательством относительной Непротиворечивость

  В классической математике источником построения моделей для таких доказательств служит в конечном счёте множеств теория. Однако обнаружение в теории множеств парадоксов (антиномий) обусловило потребность поиска новых, принципиально отличных от метода интерпретаций, методов доказательства Непротиворечивость, — в некотором смысле «абсолютных». (Такая потребность возникает и в силу несовпадения понятий внутренней и внешней Непротиворечивость) Можно избрать и промежуточный путь, требуя абсолютное доказательство Непротиворечивость только для аксиоматической теории множеств (к которой уже можно было бы сводить проблемы Непротиворечивость конкретных математических теорий чисто теоретико-модельными средствами) или даже хотя бы для такого относительно простого её фрагмента, как формализованная арифметика натуральных чисел, так как средствами последней строится теоретико-множественный «универсум» (предметная область) основных разделов классической математики. Такой путь и избрал Д. Гильберт, предложивший широкую программу, в ходе выполнения которой обосновываемые теории, прежде всего, подвергались бы формализации, а полученные формальные системы (исчисления) исследовались бы на предмет их синтаксической Непротиворечивость так называемыми финитными (т. е. содержательными, но не использующими сомнительных теоретико-множественных абстракций) средствами. Такие абсолютные доказательства Непротиворечивость составили основное содержание развиваемой школой Гильберта метаматематики (теории доказательства). Но уже в 1931 К. Гёдель доказал принципиальную невыполнимость гильбертовой программы, а тем самым и ограниченность аксиоматического метода, в рамках которого для достаточно богатых формальных теорий требования Непротиворечивость и полноты оказываются несовместимыми (подробнее см. Аксиоматический метод). Что же касается содержательных дедуктивных теорий (в том числе и математических), по отношению к которым требование полноты теряет смысл, то для них Непротиворечивость по-прежнему остаётся важнейшим необходимым критерием осмысленности и практической приложимости.

 

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.). См. также лит. при статьях Аксиоматический метод, Метаматематика.

  Ю. А. Гастев.