Displaying similar documents to “An axiom system for full 3 -dimensional Euclidean geometry”