Nuprl Definition : point-exists-axiom

point-exists-axiom(g) ==  g."non-trivial"


Definitions occuring in Statement :  token: "$token",  record-select: r.x
Definitions occuring in definition :  record-select: r.x,  token: "$token"
FDL editor aliases :  point-exists-axiom
Latex:
point-exists-axiom(g)  ==    g."non-trivial"


Date html generated: 2018_05_22-PM-00_32_47
Last ObjectModification: 2017_11_26-PM-02_10_41

Theory : euclidean!plane!geometry


Home Index