More geometry
More geometry

Added definition of 2D geometry, lower and upper axioms,
Completed chapter 6 and started chapter 7 of [Schwabhauser]
Moved 4 theorems from my mathbox

metamath/set.mm,metamath/set.mm,metamath/set.mm