Quote


Voting: - 0 +
It has the same status as in classical math. You can worry about it.
— Bob Constable, On the Axiom of Choice in constructive mathematics · Feb. 8, 1980