set theory proofs PDF - Search