On the design of formal theories of geographic space · Study