Write Your Own Proofs in Set Theory and Discrete Mathematics