 Geometrical knowledge typically concerns two kinds of things: theoretical or abstract knowledge contained in the definitions, axioms, theorems, and proofs in a system of geometry; and some knowledge of the external world, such as is expressed in terms of a system of physical geometry. The nature of the relation between the abstract geometry and its practical expression has also to be considered.