Los axiomas expuestos en el punto de vista global están verificados: