Proof and Knowledge in Mathematics