Teori himpunan

artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini)

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.

1. ^ "Set Theory (Basics, Definitions, Types of sets, Symbols & Examples)". BYJUS (dalam bahasa Inggris). Diakses tanggal 2024-07-17. 
2. ^ 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."