No definitions found for 'Zermelo-Fränkel set theory' Perhaps one of these: zermelo fränkel set theory, zermelo set theory