Basic geometry

The content formerly at this page has been moved to a series of smaller pages. See Interface:Tarski's geometry axioms for a list of the pages.