Independence of AC from ZF — Statement & Proof - Androma

Androma

Independence of AC from ZF (Theorem # 1511)

Theorem

Edit Issues Pull Requests Attributions Admin

Discussion

No discussion available for this theorem.

Proof

No proof available for this theorem.

Explore Further

Totality of the Comparison Order Cambridge II Logic And Set Theory Completeness of Propositional Calculus Cambridge II Logic And Set Theory $\in$-Recursion Theorem Cambridge II Logic And Set Theory Equivalence of Zorn, AC, and Well-Ordering Cambridge II Logic And Set Theory Cantor–Schröder–Bernstein Cambridge II Logic And Set Theory Downward Löwenheim–Skolem Theorem Cambridge II Logic And Set Theory Principle of Transfinite Induction Cambridge II Logic And Set Theory Adequacy Theorem Cambridge II Logic And Set Theory