Peirce's Law

Prove Peirce's Law: ((p → q) → p) → p

Equality on Booleans

Using λ to Represent Sets as Functions

Cantor's Theorem

Challenge Problems