Assertion: euclidean geometry | /r/HasProperty | self-consistent
Facets:
value: as euclidean geometry
type: OTHER
Source sentences:
text: It remained to be proved mathematically that the non-Euclidean geometry was just as self-consistent as Euclidean geometry, and this was first accomplished by Beltrami in 1868.
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.
text: It therefore follows that elementary elliptic geometry is also self-consistent and complete.