Se trata de dar una definición formal de lo que es una geometría, más allá de la idea más o menos intuitiva que tenemos de ella.