Assertion: choice | /r/HasProperty | zf
Facets:
Source sentences:
text: However, that particular case is a theorem of the Zermelo–Fraenkel set theory without the axiom of choice (ZF); it is easily proved by mathematical induction.