Logical System gentzen 1/9/09 Help with Subset Derivations [Long form example] This is a long proof using axioms. There is a shorter and quicker way using rewrite rules.
