El enunciado del axioma establece que si dos conjuntos tienen los mismos elementos entonces son idénticos: