Back Stelteorie Afrikaans Mengenlehre ALS ሥነ ስብስብ Amharic Teoría de conchuntos AN समुच्चय सिद्धान्त ANP نظرية المجموعات Arabic সংহতি তত্ত্ব Assamese Teoría de conxuntos AST Çoxluqlar nəzəriyyəsi Azerbaijani Күмәклектәр теорияһы Bashkir
 | artikel ini perlu dirapikan agar memenuhi standar Wikipedia. |
Teori Himpunan (Inggris: set theory) adalah bagian dari logika matematika yang mengkaji himpunan dan sifat-sifatnya. Himpunan dapat dideskripsikan sebagai koleksi atau kumpulan objek. Objek-objek tersebut dapat disebut sebagai elemen atau anggota dari himpunan.[1]
Teori himpunan umumnya digunakan sebagai dasar untuk matematika, khususnya dalam bentuk teori himpunan Zermelo-Fraenkel dengan aksioma pilihan.[2] Di luar peran dasarnya, teori himpunan adalah cabang matematika murni. Pengkajian kontemporer ke dalam teori himpunan mencakup beragam subjek, mulai dari struktur garis bilangan real hingga pengkajian tentang konsistensi kardinal besar.
- ^ "Set Theory (Basics, Definitions, Types of sets, Symbols & Examples)". BYJUS (dalam bahasa Inggris). Diakses tanggal 2024-07-17.
- ^ Kunen 1980, hlm. xi: "Teori himpunan adalah dasar matematika. Semua konsep matematika didefinisikan dalam istilah pengertian primitif himpunan dan keanggotaan. Dalam teori himpunan aksiomatik, kami merumuskan beberapa aksioma sederhana tentang pengertian primitif ini dalam upaya untuk menangkap prinsip dasar teori himpunan yang "jelas benar". Dari aksioma semacam itu, semua matematika yang diketahui dapat diturunkan."