Things which are equal to the same thing are also equal to one another. If equals be added to equals, the wholes are equal. If equals be subtracted from equals, the remainders are equal.

How is this possible? The Euclidean Programme conceives of mathematical knowledge as based on watertight deduction from self-evidently true axioms (first principles). We argue that this account is not ...