Context: Teori himpunan adalah cabang logika matematika yang mempelajari himpunan, yang secara informal dapat digambarkan sebagai kumpulan objek. Meskipun objek dari segala jenis dapat dikumpulkan menjadi satu himpunan, teori himpunan, sebagai cabang matematika, sebagian besar berkaitan dengan yang paling terkenal dan relevan dengan matematika secara keseluruhan. Studi modern tentang teori himpunan dimulai oleh matematikawan Jerman Richard Dedekind dan Georg Cantor pada tahun 1870-an. Secara khusus, Georg Cantor umumnya dianggap sebagai pendiri teori himpunan. Sistem yang tidak diformalkan yang diselidiki selama tahap awal ini berada di bawah nama teori himpunan naif. Setelah penemuan paradoks dalam teori himpunan naif (seperti paradoks Russell, paradoks Cantor dan paradoks Burali-Forti) berbagai sistem aksiomatik diusulkan pada awal abad ke-20, yang Zermelo Finkel (dengan atau tanpa pilihan aksioma) masih paling dikenal dan paling banyak dipelajari.

Di mana teori himpunan dapat diterapkan?

Set dapat diterapkan pada hampir semua aplikasi, mengingat bahwa aplikasi dapat diwakili melalui set logis objek matematika.