equiconsistent en · ADJ
Etymology
From equi- + consistent.
Meanings
-
(not-comparable) equally consistent
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC..
2016, Haim Horowitz, Saharon Shelah, “Can you take Toernquist's inaccessible away?”, in arXiv: