Himpunan semesta itu apa sih?

Dalam penerapan teori himpunan, himpunan semesta atau universum atau semesta pembicaraan adalah himpunan semua objek yang sedang dibicarakan. Himpunan semesta biasa dilambangkan dengan  (dari "semesta") atau  (dari "universum").

Dalam teori himpunan aksomatik, pengertian himpunan semesta ini tidak ada. "Himpunan beranggotakan semua himpunan"  dapat menimbulkan berbagai paradoks, contohnya adalah himpunan berikut:

Himpunan  tidak mungkin ada, karena jika  ada, berarti harus mengandung anggota yang bukan merupakan anggotanya. Namun jika bukan anggotanya, lalu bagaimana mungkin  bisa mengandung anggota tersebut.