Nineteenth-century German mathematician Leopold Kronecker once said

God created the integers, all the rest is the work of man.

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.

One of the most puzzling aspects of human behaviour is cooperation, in situations where backstabbing and selfishness would seem to be more rewarding. From the point of view of evolutionary theory, the very existence of altruism and cooperation appear mysterious.