Assertion: choice | /r/HasProperty | implied by very meaning of existence
Facets:
Source sentences:
text: A choice function exists in constructive mathematics, because a choice is implied by the very meaning of existence.
text: In Bishop’s words, “A choice function exists in constructive mathematics because a choice is implied by the very meaning of existence.