Axiom of Choice implies Kuratowski's Lemma/Proof 1

Theorem

Let the Axiom of Choice be accepted.

Then Kuratowski's Lemma holds.

Proof

We have:

Axiom of Choice implies Zorn's Lemma
Zorn's Lemma implies Kuratowski's Lemma.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.