Content deleted Content added
→Axiom of choice: clarify and source Ceitin; supply Solovay 1970 ref |
→References: reflist |
||
Line 98:
One can consider even more general spaces. For example, the existence of a homomorphism between complete separable metric [[group (mathematics)|group]]s can also be shown nonconstructively.
==Notes==
{{reflist}}
==References==
| |||