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

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