Sets, Models and Proofs