Describir: Axiomatic geometry