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. Book traversal links for Help with Subset Derivation ‹ Tutorial 7: Set Theory II: Subsets, Empty Set, Universe Set Up Help with Subset Derivation: Short Rewrite Version ›
