Logic and Proof

What it means to know something in mathematics.