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.
Chomp is a simple two-dimensional game, played as follows.
Cookies are set out on a rectangular grid. The bottom left cookie is poisoned.
Two players take it in turn to "chomp" - that is, to eat one of the remaining cookies, plus all the cookies above and to the right of that cookie.