Zermelo-Fraenkel küme teorisi

(ZFC sayfasından yönlendirildi)

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ı.[1]

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

değiştir
  1. ^ E. Zermelo, "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.

Russel paradoksu 12 Şubat 2022 tarihinde Wayback Machine sitesinde arşivlendi. Bertrand Russel ve Frege 2 Ocak 2021 tarihinde Wayback Machine sitesinde arşivlendi.