Himpunan semesta

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan "[[" dan "]]" pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut). Mohon jangan memasang pranala pada kata yang sudah diketahui secara umum oleh para pembaca, seperti profesi, istilah geografi umum, dan perkakas sehari-hari. Sunting bagian pembuka. Buat atau kembangkan bagian pembuka dari artikel ini. Susun header artikel ini sesuai dengan pedoman tata letak. Tambahkan kotak info bila jenis artikel memungkinkan. Hapus tag/templat ini.

Dalam penerapan teori himpunan,^[1] himpunan semesta atau universum atau semesta pembicaraan adalah himpunan semua objek yang sedang dibicarakan. Himpunan semesta biasa dilambangkan dengan ${\displaystyle S}$ (dari "semesta") atau ${\displaystyle U}$ (dari "universum").

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

${\displaystyle A=\{x\,|\,x\notin A\}}$

Himpunan ${\displaystyle A}$ tidak mungkin ada, karena jika ${\displaystyle A}$ ada, berarti harus mengandung anggota yang bukan merupakan anggotanya. Namun jika bukan anggotanya, lalu bagaimana mungkin ${\displaystyle A}$ bisa mengandung anggota tersebut.

Artikel bertopik matematika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.

• l
• b
• s