Automath - Document - PDFSEARCH.IO - Document Search Engine

First Page	Meta Content
	Appendix 2: The Axiom of Choice In this appendix we want to prove Theorem 1.5. Theorem 1.5. The following set theoretic axioms are equivalentAxiom of Choice) If X is a nonempty set, then there is a map φ : P(X) Add to Reading List Document Date: 2011-12-05 21:55:18 Open Document File Size: 49,38 KB Share Result on Facebook

UPDATE

Appendix 2: The Axiom of Choice In this appendix we want to prove Theorem 1.5. Theorem 1.5. The following set theoretic axioms are equivalentAxiom of Choice) If X is a nonempty set, then there is a map φ : P(X) Add to Reading List