Logic and proof in mathematics