Assertion: euclidean geometry | /r/HasProperty | complete
Facets:
Source sentences:
text: Tarski proved that elementary Euclidean geometry is complete: there is an algorithm which, for every proposition, can show it to be either true or false.
text: It therefore follows that elementary elliptic geometry is also self-consistent and complete.