Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk:
- Teori himpunan naif, dan
- 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.