Противоречивый класс

класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и [img: http://localhost:8080/file/041756-85.jpg] (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула [img: http://localhost:8080/file/041756-86.jpg]. В. Н. Гришин.