Teorema Cantor
Pranala luar

Hazewinkel, Michiel, ed. (2001) [1994], "Cantor theorem", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
(Inggris) Weisstein, Eric W. "Cantor's Theorem". MathWorld.
| l b Metalogika Metamatematika |
| --- | --- |
 Fondasi matematika  Independensi  Interpretasi  Kekukuhan  Kepuasan  Ketetapan  Konsistensi  Metateorema  Metode efektif  Pemenuhan  Perbedaan guna-penggunaan  Perbedaan tipe-token  Teorema Cantor  Teorema Church  Teorema Löwenheim–Skolem  Tesis Church  Teorema kelengkapan Gödel  Teorema ketidaklengkapan Gödel 
| l b Teori himpunan |
| --- | --- | --- |
| Umum |  Himpunan (matematika)  |  |
| Aksioma |  Adjungsi  Batas ukuran  Determinasi  Gabungan  Himpunan kuasa  Keberaturan  Kebisadibangunan (V=L)  Perluasan  Pasangan  Pemilihan tercacah  terikat  global  Takhingga  Aksioma Martin Skema aksioma penggantian  spesifikasi  |  |
| Operasi |  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  |  |
| Jenis himpunan |  Himpunan bagian · Superhimpunan  Berhingga (turun-temurun)  Takhingga (takhingga Dedekind)  Kabur  Kosong  Rekursif  Semesta  Tercacah  Tak tercacah  Transitif  |  |
| Teori |  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  |  |
| Paradoks Masalah |  Paradoks Russell  Masalah Suslin  Paradoks Burali-Forti  |  |
| Teoretisi himpunan |  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  |  |
| l b Logika matematika |
| --- | --- |
Umum:  Bahasa formal  Aturan formasi  Sistem formal  Sistem deduktif  Pembuktian formal  Formal semantik  Formula bentukan  Himpunan  Elemen  Kelas  Logika klasik  Aksioma  Deduksi alami  Aturan inferensi  Relasi  Teorema  Konsekuensi logis  Sistem aksiomatis  Teori tipe  Simbol  Sintaks  Teori 
Logika tradisional:  Proposisi  Inferensi  Argumen  Validitas  Meyakinkan  Silogisme  Sisi berlawanan  Diagram Venn 
Kalkulus proposisional Logika boolean:  Fungsi Boolean  Kalkulus proposisional  Formula proposisional  Hubungan logis  Tabel kebenaran 
Logika predikat:  Orde-pertama  Pembilang  Predikat  Orde-dua  Kalkulus predikat Monadic 
Teori himpunan:  Himpunan  Himpunan kosong  Enumerasi  Ekstensionalitas  Himpunan terbatas  Fungsi  Subhimpunan  Himpinan perpangkatan  Himpunan terhitung  Himpunan rekursif  Domain  Rentang  Pasangan berurut  Himputan tak terhitung 
Teori model:  Model  Interpretasi  Model nonstandar  Teori model terbatas  Nilai kebenaran  Validitas 
Teori pembuktian:  Pembuktian formal  Sistem deduktif  Sistem formal  Teorema  Konsekuensi logis  Aturan inferensi  Sintaks 
Teori komputabilitas:  Rekursi  Himpunan rekursif  Himpunan rekursif terhitung  Permasalahan keputusan  Tesis Church–Turing  Fungsi terhitung  Fungsi rekursif primitif 
Kategori