Класс, где не существует неправильных высказываний