Logical System gentzen 1/9/09 Help with Ex3 1. This shows the general technique for proving identities between sets. Book traversal links for Help with Ex 3: Moderately Difficult Example ‹ Tutorial 8: Set Theory III: Union, Intersection, Complement, Unordered Pairs, Power Set Up Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products ›