Поиск в разделе:

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