El Axioma de Elección no pertenece a la Axiomática de Zermelo-Fraenkel desde un punto de vista estricto.