Maximal consistent class

математика максимально непротиворечивый класс