Teori himpunan itu apa sih?

Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk:

Teori himpunan aksiomatik, yang mendasarkan teori himpunan pada istilah-istilah dan relasi yang tak terdefinisikan, serta aksioma-aksioma yang nantinya akan membangun keseluruhan teori himpunan.

Studi modern tentang teori himpunan diprakarsai oleh Georg Cantor dan Richard Dedekind pada tahun 1870. Setelah penemuan paradoks di teori himpunan naif, seperti paradoks Russell, banyak sistem aksioma diusulkan pada awal abad ke-20, di mana aksioma Zermelo–Fraenkel, dengan atau tanpa aksioma pilihan, adalah yang paling terkenal.

Teori himpunan umumnya digunakan sebagai sistem dasar untuk matematika, khususnya dalam bentuk teori himpunan Zermelo-Fraenkel dengan aksioma pilihan. Di luar peran dasarnya, teori himpunan adalah cabang matematika dalam dirinya sendiri, dengan komunitas riset yang aktif. Penelitian kontemporer ke dalam teori himpunan mencakup beragam koleksi topik, mulai dari struktur garis bilangan real hingga studi tentang konsistensi kardinal besar.