Taille de Signature

Le nombre de symboles non logiques distincts dans la signature d'un langage, comptant typiquement les symboles de fonction, de prédicat et les constantes (en pratique on précise souvent si l'on considère un symbole avec son arité comme une entrée distincte).