_ No one shall drive us out of the paradise that Cantor has created_ David Hilbert ### 1.1 Set theory The basic concept upon which the discipline known as set theory rests is the notion of set membership.