Proof and Knowledge in Mathematics door Michael Detlefsen