Page "Axiom of choice" Paragraph 38
from
Wikipedia
:" A choice function exists in constructive mathematics, because a choice is implied by the very meaning of existence.
Page 1 of 1.
1.909 seconds.