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


7