Nuprl Lemma : circle-circle-continuity

∀e:EuclideanPlane. ∀a,b,c,d,p,q,x,z:Point.
  (∃z1,z2:Point. (az1=ab ∧ az2=ab ∧ cz1=cd ∧ cz2=cd ∧ ((¬(x = z ∈ Point)) ⇒ (¬(z1 = z2 ∈ Point))))) supposing 
     (a_b_z and 
     a_x_b and 
     cq=cd and 
     cp=cd and 
     aq=az and 
     ap=ax and 
     (¬(a = c ∈ Point)))
Error : references
Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c,d,p,q,x,z:Point.
    (\mexists{}z1,z2:Point.  (az1=ab  \mwedge{}  az2=ab  \mwedge{}  cz1=cd  \mwedge{}  cz2=cd  \mwedge{}  ((\mneg{}(x  =  z))  {}\mRightarrow{}  (\mneg{}(z1  =  z2)))))  supposing 
          (a\_b\_z  and 
          a\_x\_b  and 
          cq=cd  and 
          cp=cd  and 
          aq=az  and 
          ap=ax  and 
          (\mneg{}(a  =  c)))


Date html generated: 2017_02_21-AM-10_18_46
Last ObjectModification: 2015_07_16-PM-07_21_47

Theory : euclidean!geometry


Home Index