Diff — Zermelo–Fraenkel set theory

Revision #2149 → #2832 · back to history

modifiedChoice function formulation496c62605d44

Field	From #2149	To #2832
anchor.snippet	Let [MATH] be a set whose members are all nonempty.	The most common of these goes as follows.
provenance	ai	ai-moderated

addedV = L independent of ZFC9a608549e24c

addedContinuum hypothesis independent of ZFCfb886577ce40