Proof Prooflike Sets

Looking for Proof Prooflike Sets