непротиворечивость
Der Zustand, in dem sich Aussagen, Regeln oder logische Systeme nicht gegenseitig ausschließen.
Состояние, при котором утверждения или системы не противоречат друг другу.
-
Die Widerspruchsfreiheit des mathematischen Systems wurde bewiesen.— Была доказана непротиворечивость математической системы.
-
In der Logik ist die Widerspruchsfreiheit ein zentrales Axiom.— В логике непротиворечивость является центральной аксиомой.
Синонимы
Антонимы