El axioma de extensionalidad (Ex) es completamente independiente del resto de axiomas de Zermelo-Fraenkel (ZF).