bn:02793738n
Noun Concept
NL
consistentie kracht
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