Logic, Set Theory, and Proofs