Zermelo-Freankel Küme Kuramı
Vikipedi, Özgür Ansiklopedi

Soyut matematikte, seçim beliti ile birlikte kısaca ZFC diye anılan toplam 9 belitten 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 öğesi olmak terimlerinin tanımsız kabul edildiği biçimsel dizge 1930'da Zermelo tarafından ortaya atıldı