Dalam penerapan teori himpunan,[1] 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.

Referensi

sunting
  1. ^ Setiadji (2009). Himpunan & Logika Samar serta Aplikasinya. Yogyakarta: Graha Ilmu. ISBN 978-979-756-488-9.