Küme kavramı matematiğin en temel kavramlarından biridir. Fakat buna rağmen otoritelerce kabul edilmiş bir tanımı yoktur. Bazı kaynaklar kümeyi “belirli özelliğe sahip olan nesnelerin topluluğu” olarak tanımlar. Bu tanım her ne kadar yaygın olsa da eksiklikleri vardır. Birincisi burada “nesne” diye adlandırılan şeyin ne olduğu belli değildir. İkinci olarak “belirli özelliğe sahip” demek yanlış olabilir. Çünkü öyle bir küme örneği verilebilir ki o kümedeki nesne’ler belirli bir özelliğe sahip değildir. Üçüncüsü ise Russell paradoksu. Russell küme kavramı üzerine koşullar konulmayınca bir paradoksun oluştuğunu ispatlamıştır. Küme kavramının tanımı üzerine ne kadar konuşsak da bu kavramın tanımını veremeyeceğimizden burada bu bahsi kapayıp kümeleri tanıtmaya başlayalım.