Zermelo-Fraenkel küme teorisi

Zermelo-Fraenkel küme teorisi, soyut matematikte, seçim beliti ile birlikte kısaca ZFC diye anılan toplam 9 belitten oluşan küme kuramı'dır. Seçim belitini katmaksızın kısaca ZF olarak anılır. Küme ve öğesi olmak terimlerinin tanımsız kabul edildiği biçimsel dizge 1930'da Zermelo tarafından ortaya atıldı.

Bertrand Russell ve Frege arasında geçen mektuplaşmanın ardından bulunan Russell paradoksunun ardından matematiği çelişkisiz hale getirmek için başlatılan çabalardandır. Russell paradoksunun oluşturduğu çelişkiyi az ve doğru belitler seçerek ortadan kaldırmış ve günümüzdeki matematiğin temellerini atmıştır.

Kaynakça 
Russel paradoksu 

Bertrand Russel ve Frege 

Kümeler teorisi