Sets and Proofs