Soyut matematikte, ``seçim beliti`` ile birlikte kısaca ``ZFC`` diye anılan toplam 9 belitten oluşan küme kuramınaZermelo-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ıE. Zermelo, "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930..
