Proof Techniques In The Theory Of Finite Sets