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