Assertion: choice | /r/HasProperty | ac
Facets:
Source sentences:
text: Ernst Zermelo (1904) introduced choice functions as well as the axiom of choice (AC) and proved the well-ordering theorem, which states that every set can be well-ordered.