Templat:Teori himpunan: Perbedaan antara revisi

Konten dihapus Konten ditambahkan

Sebaris

Revisi per 21 Desember 2019 10.46

Dokumentasi templat

Gunakan {{Teori himpunan |collapsed}} untuk menampilkan templat dalam keadaan ditutup (disembunyikan).
Gunakan {{Teori himpunan |expanded}} untuk menampilkan templat dalam keadaan dibuka (muncul seluruhnya).
Gunakan {{Teori himpunan |autocollapse}} untuk menampilkan templat dalam keadaan ditutup (disembunyikan) hanya jika terdapat templat lain dengan jenis yang sama pada halaman.
collapsed telah di set sebagai keadaan standar.

Pemeliharaan
Cek kelengkapan transklusi

Penyunting dapat melakukan uji coba pada halaman bak pasir dan kasus uji templat ini.
Subhalaman templat ini.

l b s Teori himpunan
Aksioma	Pemilihan terhitung dependent Ekstensionalitas Tak terhingga Pasangan Himpunan kuasa Regularity gabungan Aksioma Martin Axiom schema replacement specification
Operasi	Produk kartesius Pelengkap Hukum De Morgan Irisan Himpunan kuasa Set difference Symmetric difference Gabungan
Konsep Metode	Kardinalitas Cardinal number (large) Kelas Constructible universe Hipotesis kontinum Diagonal argument Elemen pasangan teruurut tuple Family Forcing One-to-one correspondence Bilangan bertingkat Induksi transitif Diagram Venn
Jenis himpunan	Terhitung Kosong Terhingga (hereditarily) Kabur Tak terhingga Rekursif Subhimpunan · Superhimpunan Transitif Tak terhitung Semesta
Teori	Alternatif Aksiomatik Naif Teorema Cantor Zermelo General Principia Mathematica New Foundations Zermelo–Fraenkel von Neumann–Bernays–Gödel Morse–Kelley Kripke–Platek Tarski–Grothendieck
Paradoks Problema	Paradoks Russell Problema Suslin
Teoretisi himpunan	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Willard Quine

Revisi per 16 November 2019 07.01 sunting JohnThorne (bicara \| kontrib) Pengecualian blokir IP, Pengurus 151.852 suntingan Perbaikan ← Revisi sebelumnya		Revisi per 21 Desember 2019 10.46 sunting balikkan Medelam (bicara \| kontrib) Pengecualian blokir IP, Peninjau, Pengembali revisi 279.782 suntingan kTidak ada ringkasan suntingan Revisi selanjutnya →
Baris 11: \| group1 = [[Aksioma]] \| list1 = * [[Aksioma ~~pilihan~~pemilihan\|~~Pilihan~~Pemilihan]] [[Aksioma pilihan terhitung\|terhitung]] [[Axiom of dependent choice\|dependent]]