¿Cómo se denomina el número de símbolos distintos que utiliza cualquier sistema de numeración?