Assertion: euclidean geometry | /r/HasProperty | axiomatic system
Facets:
Source sentences:
text: Euclidean geometry is an axiomatic system, in which all theorems ("true statements") are derived from a small number of simple axioms.