" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОТИВОРЕЧИВЫЙ КЛАСС

Значение ПРОТИВОРЕЧИВЫЙ КЛАСС в математической энциклопедии:

класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула .

В. Н. Гришин.