Proof, Set Theory, and Logic