---

Step * of Lemma set-axiom-of-choice-is-false

¬Set-AC
BY
{ ((D 0 THENA Auto) THEN (InstLemma `set-axiom-of-choice-implies-xmiddle` [] THENA Auto)) }

1
1. Set-AC
2. ∀P:ℙ. ((↓P) ∨ (¬P))
⊢ False

---

Latex:

---

Latex:
\mneg{}Set-AC


By

---

Latex:
((D  0  THENA  Auto)  THEN  (InstLemma  `set-axiom-of-choice-implies-xmiddle`  []  THENA  Auto))

---

Home Index