Assertion: euclidean geometry | /r/HasProperty | modeled for example
Facets:
Source sentences:
text: Because spherical elliptic geometry can be modeled as, for example, a spherical subspace of a Euclidean space, it follows that if Euclidean geometry is self-consistent, so is spherical elliptic geometry.