Conteo de Tipos

El número de tipos completos distintos de aridad n (sobre un conjunto de parámetros especificado, a menudo el conjunto vacío) que se realizan en modelos de una teoría o son consistentes con la teoría; se usa para cuantificar la diversidad de descripciones completas de n-tuplas hasta equivalencia fuerte.