---

Step * 1 of Lemma Vesley-connected-rationals


1. VesleyAxiom
2. x : ℝ
3. y : {y:ℝ| x = y} 
4. ¬(∃a:ℤ. ∃b:ℤ-o. (y = (r(a)/r(b))))
⊢ ¬(∃a:ℤ. ∃b:ℤ-o. (x = (r(a)/r(b))))
BY
{ RepeatFor 3 (ParallelLast) }

1
1. VesleyAxiom
2. x : ℝ
3. y : {y:ℝ| x = y} 
4. a : ℤ
5. b : ℤ-o
6. x = (r(a)/r(b))
⊢ y = (r(a)/r(b))

---

Latex:

---

Latex:

1.  VesleyAxiom
2.  x  :  \mBbbR{}
3.  y  :  \{y:\mBbbR{}|  x  =  y\} 
4.  \mneg{}(\mexists{}a:\mBbbZ{}.  \mexists{}b:\mBbbZ{}\msupminus{}\msupzero{}.  (y  =  (r(a)/r(b))))
\mvdash{}  \mneg{}(\mexists{}a:\mBbbZ{}.  \mexists{}b:\mBbbZ{}\msupminus{}\msupzero{}.  (x  =  (r(a)/r(b))))


By

---

Latex:
RepeatFor  3  (ParallelLast)

---

Home Index