Himpunan semesta
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
- l
- b
- s
- Himpunan (matematika)
![Diagram Venn irisan himpunan](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn_A_intersect_B.svg/100px-Venn_A_intersect_B.svg.png)
- Adjungsi
- Batas ukuran
- Determinasi
- Gabungan
- Himpunan kuasa
- Keberaturan
- Kebisadibangunan (V=L)
- Perluasan
- Pasangan
- Pemilihan
- tercacah
- terikat
- global
- Takhingga
- Aksioma Martin
- Skema aksioma
- penggantian
- spesifikasi
- Gabungan
- Gabungan lepas
- Himpunan kuasa
- Hukum De Morgan
- Irisan
- Komplemen
- Produk Kartesius
- Selisih himpunan
- Beda setangkup
- Konsep
- Metode
- Argumen diagonal
- Bilangan kardinal (besar)
- Bilangan ordinal
- Diagram Venn
- Elemen
- pasangan terurut
- rangkap
- Hipotesis kontinum
- Induksi lintas-hingga
- Kardinalitas
- Kelas
- Keluarga
- Korespondensi satu-ke-satu
- Pemaksaan
- Semesta yang bisa dibangun
- Aksiomatik
- Alternatif
- Naif
- Teorema Cantor
- Zermelo
- Umum
- Principia Mathematica
- New Foundations (NF, NFU)
- Zermelo–Fraenkel (ZFC)
- von Neumann–Bernays–Gödel (NBG)
- Morse–Kelley
- Kripke–Platek
- Tarski–Grothendieck
- von Neumann–Bernays–Gödel (NBG)
- Paradoks
- Masalah
- Paradoks Russell
- Masalah Suslin
- Paradoks Burali-Forti
- Abraham Fraenkel
- Bertrand Russell
- Ernst Zermelo
- Georg Cantor
- John von Neumann
- Kurt Gödel
- Paul Bernays
- Paul Cohen
- Richard Dedekind
- Thomas Jech
- Thoralf Skolem
- Willard Quine
![]() | Artikel bertopik matematika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |
- l
- b
- s