Свойство формальной системы, противоположное свойству непротиворечивости. — 15 букв