bn:02793738n
Noun Concept
AR
قوة الاتساق
EN
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. Wikipedia
Sources
Wikipedia Translations