Templat:Teori himpunan: Perbedaan antara revisi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Jelajahi riwayat secara interaktif
← Revisi sebelumnya
Konten dihapus Konten ditambahkan
VisualTeks wiki
kTidak ada ringkasan suntingan
Hadithfajri (bicara | kontrib)
877 suntingan
Tidak ada ringkasan suntingan
Tag: Suntingan visualeditor-wikitext
 
(2 revisi perantara oleh 2 pengguna tidak ditampilkan)
Baris 1: Baris 1:
{{Navbox
{{navbox
| name = Teori himpunan
| name = Teori himpunan
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
| state = {{{state|{{{1|<noinclude>un</noinclude>collapsed}}}}}}
| title = [[Teori himpunan]]
| title = [[Teori himpunan]]
| image = [[Berkas:Venn A intersect B.svg|100px|link=Venn diagram|alt=Venn diagram of set intersection]]
| image = [[Berkas:Venn A intersect B.svg|100px|link=Diagram Venn|alt=Diagram Venn irisan himpunan]]
| listclass = hlist
| listclass = hlist


| group1 = Umum
| list1 =
* [[Himpunan (matematika)]]


<!------------------- Aksioma -------------------->
<!------------------ Aksioma -------------------->


| group1 = [[Aksioma]]
| group2 = [[Aksioma]]
| list1 =
| list2 =
* [[Aksioma adjungsi|Adjungsi]]
* [[Aksioma batas ukuran|Batas ukuran]]
* [[Aksioma determinasi|Determinasi]]
* [[Aksioma gabungan|Gabungan]]
* [[Aksioma himpunan kuasa|Himpunan kuasa]]
* [[Aksioma keberaturan|Keberaturan]]
* [[Aksioma kebisadibangunan|Kebisadibangunan (V=L)]]
* [[Aksioma perluasan|Perluasan]]
* [[Aksioma pasangan|Pasangan]]
* [[Aksioma pemilihan|Pemilihan]]
* [[Aksioma pemilihan|Pemilihan]]
** [[Aksioma pilihan terhitung|terhitung]]
** [[Aksioma pemilihan tercacah|tercacah]]
** [[Aksioma pemilihan terikat|terikat]]
** [[Axiom of dependent choice|dependent]]
* [[Aksioma ekstensionalitas|Ekstensionalitas]]
** [[Aksioma pemilihan global|global]]
* [[Aksioma tak terhingga|Tak terhingga]]
* [[Aksioma takhingga|Takhingga]]
* [[Aksioma pasangan|Pasangan]]
* [[Aksioma himpunan kuasa|Himpunan kuasa]]
* [[Axiom of regularity|Regularity]]
* [[Aksioma gabungan|gabungan]]
* [[Aksioma Martin]]
* [[Aksioma Martin]]


* [[Axiom schema]]
* [[Skema aksioma]]
** [[Axiom schema of replacement|replacement]]
** [[Skema aksioma penggantian|penggantian]]
** [[Skema aksioma spesifikasi|spesifikasi]]
** [[Axiom schema of specification|specification]]


<!------------------ Operasi -------------------->


| group3 = [[Himpunan (matematika)#Operasi dasar|Operasi]]
<!----------------- Operasi ------------------>
| list3 =

* [[Gabungan (teori himpunan)|Gabungan]]
| group2 = [[Himpunan (mathematika)#Operasi dasar|Operasi]]
* [[Gabungan lepas]]
| list2 =
* [[Himpunan kuasa]]
* [[Hukum De Morgan]]
* [[Irisan (teori himpunan)|Irisan]]
* [[Komplemen (teori himpunan)|Komplemen]]
* [[Produk Kartesius]]
* [[Produk Kartesius]]
* [[Pelengkap (teori himpunan)|Pelengkap]]
* [[Komplemen (teori himpunan)#Komplemen relatif|Selisih himpunan]]
* [[Hukum De Morgan]]
* [[Beda setangkup]]
* [[Irisan (teori himpunan|Irisan]]
* [[Himpunan kuasa]]
* [[Pelengkap (teori himpunan)|Set difference]]
* [[Symmetric difference]]
* [[Gabungan (teori himpunan)|Gabungan]]


<!--------------- Konsep, metode ---------------->


| group4 = {{hlist|Konsep|Metode}}
<!------------- Konsep, metode --------------->
| list4 =

* [[Argumen diagonal Cantor|Argumen diagonal]]
| group3 = {{hlist|Konsep|Metode}}
* [[Bilangan kardinal]]&nbsp;([[Kardinal besar|besar]])
| list3 =
* [[Bilangan ordinal]]
* [[Diagram Venn]]
* [[Elemen (matematika)|Elemen]]
** [[pasangan terurut]]
** [[rangkap]]
* [[Hipotesis kontinum]]
* [[Induksi lintas-hingga]]
* [[Kardinalitas]]
* [[Kardinalitas]]
* [[Cardinal number]]&nbsp;([[Large cardinal|large]])
* [[Kelas (teori himpunan)|Kelas]]
* [[Kelas (teori himpunan)|Kelas]]
* [[Keluarga himpunan|Keluarga]]
* [[Constructible universe]]
* [[Bijeksi|Korespondensi satu-ke-satu]]
* [[Hipotesis kontinum]]
* [[Pemaksaan (matematika)|Pemaksaan]]
* [[Cantor's diagonal argument|Diagonal argument]]
* [[Elemen (mathematika)|Elemen]]
* [[Semesta yang bisa dibangun]]
** [[pasangan teruurut]]
** [[tuple]]
* [[Family of sets|Family]]
* [[Forcing (mathematics)|Forcing]]
* [[Bijection|One-to-one correspondence]]
* [[Bilangan bertingkat]]
* [[Induksi transitif]]
* [[Diagram Venn]]


<!--------------- Jenis himpunan ---------------->


| group5 = Jenis [[Himpunan (matematika)|himpunan]]
<!----------------- Jenis himpunan ------------------->
| list5 =

* [[Himpunan bagian|Himpunan bagian{{int:dot-separator}}Superhimpunan]]
| group4 = Jenis [[Himpunan (matematika)|himpunan]]
* [[Himpunan hingga|Berhingga]]&nbsp;([[Himpunan hingga turun-temurun|turun-temurun]])
| list4 =
* [[Himpunan takhingga|Takhingga]] ([[Himpunan takhingga Dedekind|takhingga Dedekind]])
* [[Himpunan terhitung|Terhitung]]
* [[Himpunan kabur|Kabur]]
* [[Himpunan kosong|Kosong]]
* [[Himpunan kosong|Kosong]]
* [[Himpunan terhingga|Terhingga]]&nbsp;([[Hereditarily finite set|hereditarily]])
* [[Himpunan kabur|Kabur]]
* [[Himpunan tak terhingga|Tak terhingga]]
* [[Himpunan rekursif|Rekursif]]
* [[Himpunan rekursif|Rekursif]]
* [[Himpunan semesta|Semesta]]
* [[Subhimpunan dan superhimpunan|Subhimpunan{{int:dot-separator}}Superhimpunan]]
* [[Himpunan tercacah|Tercacah]]
* [[Himpunan tak tercacah|Tak tercacah]]
* [[Himpunan transitif|Transitif]]
* [[Himpunan transitif|Transitif]]
* [[Himpunan tak terhitung|Tak terhitung]]
* [[Himpunan semesta|Semesta]]


<!------------------- Teori --------------------->


| group6 = Teori
<!------------------ Teori ------------------->
| list6 =

* [[Teori himpunan#Teori himpunan aksiomatik|Aksiomatik]]
| group5 = Teori
| list5 =
* [[Teori himpunan alternatif|Alternatif]]
* [[Teori himpunan alternatif|Alternatif]]
* [[Teori himpunan aksiomatik|Aksiomatik]]
* [[Teori himpunan naif|Naif]]
* [[Teori himpunan naif|Naif]]
* [[Teorema Cantor]]
* [[Teorema Cantor]]


<!--(By derivation or/then chronology:)-->
<!-- (Berdasarkan turunan atau/lalu kronologi) -->
* [[Teori himpunan Zermelo|Zermelo]] <!--(1908)-->
* [[Teori himpunan Zermelo|Zermelo]] <!--(1908)-->
** [[General set theory|General]] <!--(1998)-->
** [[Teori himpunan umum|Umum]] <!--(1998)-->
* ''[[Principia Mathematica]]'' <!--(1910s)-->
* ''[[Principia Mathematica]]'' <!--(1910-an)-->
** [[New Foundations|New Foundations <!--{{smaller|(NF, NFU)}}-->]] <!--(axiomatic, 1937/1960s)-->
** [[New Foundations|New Foundations {{smaller|(NF, NFU)}}]] <!--(aksiomatik, 1937/1960-an)-->
* [[Teori himpunan Zermelo–Fraenkel|Zermelo–Fraenkel <!--{{smaller|(ZFC)}}-->]] <!--(axiomatic, 1920s)-->
* [[Teori himpunan Zermelo–Fraenkel|Zermelo–Fraenkel {{smaller|(ZFC)}}]] <!--(aksiomatik, 1920-an)-->
** [[Teori himpunan Von Neumann–Bernays–Gödel|von Neumann–Bernays–Gödel <!--{{smaller|(NBG)}}-->]] <!--(axiomatic, 1920s–50s, conservative)-->
** [[Teori himpunan Von Neumann–Bernays–Gödel|von Neumann–Bernays–Gödel {{smaller|(NBG)}}]] <!--(aksiomatik, 1920-an–50-an, konservatif)-->
*** [[Teori himpunan Morse–Kelley|Morse–Kelley]] <!--(axiomatic, 1949–60s, non-conservative)-->
*** [[Teori himpunan Morse–Kelley|Morse–Kelley]] <!--(aksiomatik, 1949–60-an, nonkonservatif)-->
** [[Teori himpunan Kripke–Platek|Kripke–Platek]] <!--(axiomatic, 1960s)-->
** [[Teori himpunan Kripke–Platek|Kripke–Platek]] <!--(aksiomatik, 1960-an)-->
** [[Teori himpunan Tarski–Grothendieck|Tarski–Grothendieck]] <!--(axiomatic, 1980s?, non-conservative)-->
** [[Teori himpunan Tarski–Grothendieck|Tarski–Grothendieck]] <!--(aksiomatik, 1980-an?, nonkonservatif)-->


<!------------- Paradoks, masalah --------------->


| group7 = {{hlist|[[Paradoks teori himpunan|Paradoks]]|Masalah}}
<!------------- Paradoks, problema ------------->
| list7 =

| group6 = {{hlist|[[Paradoks teori himpunan|Paradoks]]|Problema}}
| list6 =
* [[Paradoks Russell]]
* [[Paradoks Russell]]
* [[Problema Suslin]]
* [[Masalah Suslin]]
* [[Paradoks Burali-Forti]]


<!------------- Teoretisi himpunan -------------->


<!---------------- Teoretisi himpunan ---------------->
| group8 = [[:Kategori:Teoretisi himpunan|Teoretisi himpunan]]
| list8 =

| group7 = [[:Kategori:Teoretisi himpunan|Teoretisi himpunan]]
| list7 =
* [[Abraham Fraenkel]]
* [[Abraham Fraenkel]]
* [[Bertrand Russell]]
* [[Bertrand Russell]]
Baris 117: Baris 121:
* [[John von Neumann]]
* [[John von Neumann]]
* [[Kurt Gödel]]
* [[Kurt Gödel]]
* [[Lotfi A. Zadeh]]
* [[Paul Bernays]]
* [[Paul Bernays]]
* [[Paul Cohen]]
* [[Paul Cohen]]
* [[Richard Dedekind]]
* [[Richard Dedekind]]
* [[Thomas Jech]]
* [[Thomas Jech]]
* [[Thoralf Skolem]]
* [[Willard Van Orman Quine|Willard Quine]]
* [[Willard Van Orman Quine|Willard Quine]]



}}<noinclude>
}}<noinclude>
{{documentation|content=
{{Documentation
{{collapsible option|statename=optional|default=collapsed}}
| content =
{{templat logika}}
{{Collapsible option |statename=optional |default=collapsed}}

{{Logic templates}}

[[Kategori:Templat logika]]
[[Kategori:Templat logika]]
[[Kategori:Templat navigasi matematika]]
[[Kategori:Templat navigasi matematika]]
}}<!--(end Documentation)-->
}}<!-- akhir {{documentation}} -->
</noinclude>
</noinclude>

Revisi terkini sejak 7 Desember 2022 04.18

Diperoleh dari "https://wiki-indonesia.club/w/index.php?title=Templat:Teori_himpunan&oldid=22255827"