اتساق
Konsistensi (logika)
Consistency
Bezesporná teorie
Consistência lógica
Niesprzeczność
Cohérence (logique)
무모순적 이론
Consistência
無矛盾
Непротиворечивость
Coerenza (logica matematica)
Widerspruchsfreiheit
Несуперечність
一致性 (邏輯)
Consistencia (lógica)
Consistentie (logica)
Konsistens (filosofi)
propiedad que tiene un sistema formal cuando no es posible deducir ninguna contradicción entre los contenidos de sus proposiciones
logica
në logjikë, veti e një teorie që nuk përmban një kontradiktë
mantıkta çelişki içermeyen önermenin özelliği
a logikában egy olyan elmélet tulajdonsága, amely nem tartalmaz ellentmondást
begreb inden for logik; anvendelig egenskab ved en teori, der ikke indeholder et misforhold
Propriété d'une théorie axiomatique
모순을 증명하지 않는 이론
dalam logika, sifat tidak mengandung kontradiksi
vlastnost logické teorie, že neobsahuje spor
степента на взаимодействие между градивните частици на едно тяло или флуид
in logic, property of a theory that does not contain a contradiction
Aussagen, aus denen kein Widerspruch abgeleitet werden kann
在邏輯上，理論的屬性不包含矛盾
September 2018
Assuming that 'provable from' and 'theorem of' is equivalent, there seems to be no difference between 'consistent' and 'simply consistent'. If that is true, both definitions should be joined into a single one. If not, the difference should be made clear.