‘The least a proof can prove is something about the geometry of this system of proving.’


7