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.

Suppose you have an infinitely large sheet of paper (mathematicians refer to this hypothetical object as the plane). You also have a number of different colours - pots of paint, perhaps. Your aim is to colour every point on the plane using the colours available. That is, each point must be assigned one colour.