Assertion: euclidean geometry | /r/CapableOf | proceed to proposition
Facets:
value: without the use of coordinates
type: MANNER
value: to specify those objects
type: PURPOSE
value: about those objects
type: OTHER
value: from axioms
type: OTHER
value: logically
type: MANNER
Source sentences:
text: Euclidean geometry is an example of synthetic geometry, in that it proceeds logically from axioms describing basic properties of geometric objects such as points and lines, to propositions about those objects, all without the use of coordinates to specify those objects.