El axioma de extensión dice: "Dados dos conjuntos formula_1 y formula_2, diremos que son iguales (formula_3) si se verifica que formula_4 si y sólo si formula_5".