Nuprl Definition : euclidean-plane
EuclideanPlane == {g:EuclideanPlaneStructure| BasicGeometryAxioms(g)}
Definitions occuring in Statement :
euclidean-plane-structure: EuclideanPlaneStructure,
basic-geo-axioms: BasicGeometryAxioms(g),
set: {x:A| B[x]}
Definitions occuring in definition :
basic-geo-axioms: BasicGeometryAxioms(g),
euclidean-plane-structure: EuclideanPlaneStructure,
set: {x:A| B[x]}
FDL editor aliases :
eu-pl
eu-pl
Latex:
EuclideanPlane == \{g:EuclideanPlaneStructure| BasicGeometryAxioms(g)\}
Date html generated:
2019_10_30-AM-06_18_20
Last ObjectModification:
2019_10_29-PM-01_17_41
Theory : euclidean!plane!geometry
Home
Index