Signaturgröße

Die Anzahl der unterschiedlichen nicht-logischen Symbole in der Signatur einer Sprache, üblicherweise die Funktionssymbole, Prädikatsymbole und Konstantensymbole zählend (je nach Konvention wird ein Symbol zusammen mit seiner Arität als eigene Einheit betrachtet).