Assertion: space's theory | /r/HasProperty | consistent
Facets:
Source sentences:
text: When such a space is defined by geometrical axioms, embedding the space in a Euclidean space is a standard way for proving consistency of its definition, or, more precisely for proving that its theory is consistent, if Euclidean geometry is consistent (which cannot be proved).