Несовместимость
- свойство формальной системы, противоположное свойству непротиворечивости:формальная система наз. Несовместимой, или несовместной, если она не является непротиворечивой. Если нек-рый класс формул в языке данной формальной системы не является непротиворечивым, то говорят, что он несовместим с данной формальной системой. В частности, если класс, состоящий из одной формулы, несовместим с формальной системой, эта формула наз. Несовместимой с данной системой. Н. Формулы означает, что если ее включить в множество аксиом, то получится несовместимая формальная система. Несовместимые формальные системы не имеют содержательной интерпретации. Обнаружение Н. Отрицания нек-рой формулы с данной формальной системой составляет т.
Н. Метод доказательства от противного. Для широкого класса формальных систем из Н. Формулы j следует выводимость ее отрицания. В. Е. Шиско..
Дополнительный поиск Несовместимость
На нашем сайте Вы найдете значение "Несовместимость" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Несовместимость, различные варианты толкований, скрытый смысл.
Первая буква "Н". Общая длина 15 символа