No siempre se requiere el axioma de elección.