Zermelo-Fraenkel küme teorisi: Revizyonlar arasındaki fark

[[Soyut matematik]]te, ''[[seçim beliti]]'' ile birlikte kısaca ''ZFC'' diye anılan toplam 9 [[belit]]ten oluşan [[küme kuramı]]na '''Zermelo-Freankel küme kuramı''' denir. Seçim belitini katmaksızın kısaca ''ZF'' olarak anılır. [[Küme]] ve [[öğe|öğesi olmak]] terimlerinin tanımsız kabul edildiği [[biçimsel dizge]] 1930'da Zermelo tarafından ortaya atıldı<ref>E. Zermelo, "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.</ref>.