Teori himpunan

Teori Himpunan 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. Teori himpunan umumnya digunakan sebagai dasar untuk matematika, khususnya dalam bentuk teori himpunan Zermelo-Fraenkel dengan aksioma pilihan. 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.