Logic, Proofs, and Sets