3
$\begingroup$

it is know that all metric space has a basis countably locally finite and this result is proved by using axiom of choice. Then, the natural question is: is possible to prove this result without using choice?

Thanks.

Improve this question
$\endgroup$
0

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .