En este capítulo se expone la teoría de conjuntos de Zermelo-Fraenkel, una de las dos más importantes teorías axiomáticas de conjuntos.