Nótese que hasta ahora en ningún momento se ha dicho en ningún axioma que exista algún conjunto.