Существительное
Лекция была посвящена вопросам полноты и непротиворечивости аксиоматических систем. Источник: Интернет
Научное описание должно удовлетворять трем условиям: непротиворечивости, полноты (т.е. должно охватывать все элементы без остатка) и простоты (число исходных элементов должно быть минимальным). Источник: Интернет
Также, по теореме о неполноте, среди этих невыводимых утверждений будет утверждение о непротиворечивости этой системы. Источник: Интернет
Институт преюдиции, изначально задуманный законодателем как средство поддержания непротиворечивости судебных актов и обеспечения действия принципа правовой определенности, также может стать ключом к успешной правовой позиции в споре для одной из сторон. Источник: Интернет
Известно, что именно усилия по формализации интуитивных представлений о доказуемости, вычислимости, разрешимости, непротиворечивости, полноте привели к прорывным результатам в логике двадцатого века. Источник: Интернет
Данный принцип называется основным принципом непротиворечивости (истинного) долженствования. Источник: Интернет
consistency