Teori himpunan
caption: Georg Cantor .
caption: Contoh sebuah diagram Venn : irisan anggota dari himpunan A dan B
caption: An initial segment of the von Neumann hierarchy.