Suppose you walk past a barber's shop one day, and see a sign that says

"Do you shave yourself? If not, come in and I'll shave you! I shave anyone who does not shave himself, and noone else."
This seems fair enough, and fairly simple, until, a little later, the following question occurs to you - does the barber shave himself?

The famous mathematician Euclid is credited with being the first person to axiomatise the geometry of the world we live in - that is, to describe the geometric rules which govern it. Based on these axioms, he proved theorems - some of the earliest uses of proof in the history of mathematics.