We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC..
Source: wiktionary
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
1 total sentences available.
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC..
Source: wiktionary
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.