In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne. Sono indicati come assiomi Zermelo–Fraenkel della teoria degli insiemi o sistema di assiomi di Zermelo-Fraenkel, e abbreviati con ZF.