Assertion: euclidean geometry | /r/CapableOf | reference veblen
Facets:
value: with a further 5 axioms
type: OTHER
value: in the three axioms
type: LOCATION
Source sentences:
text: For example, Coxeter's Projective Geometry, references Veblen in the three axioms above, together with a further 5 axioms that make the dimension 3 and the coordinate ring a commutative field of characteristic not 2.