Bevismetoder i mängdläran samt Venn-diagram med tillämpningar