isEquiconsistentWith
P28011
predicate
Indicates that two formal theories or systems have the same consistency strength, such that if one is consistent then the other is also consistent, and if one is inconsistent then so is the other.
Aliases (2)
- consistencyQuestion ×1
- consistencyRelativeTo ×1
Sample triples (3)
| Subject | Object |
|---|---|
| ZF | relative to large cardinal axioms via predicate surface "consistencyQuestion" → |
| axiom of choice | Zermelo–Fraenkel set theory if ZF is consistent via predicate surface "consistencyRelativeTo" → |
| von Neumann–Bernays–Gödel set theory |
Zermelo–Fraenkel set theory
→
surface form: "Zermelo–Fraenkel set theory with choice"
|