← Logic, Sets, and Proofs