Проверка за непротиворечивост