Signatura

Una especificación del vocabulario no lógico de un lenguaje formal: un conjunto de declaraciones de símbolos que incluye símbolos constantes, símbolos de función con aridades y símbolos de relación (predicados) con aridades que determinan los bloques sintácticos disponibles para formar términos y fórmulas atómicas.

La firma (o inercia) de una forma bilineal simétrica o forma cuadrática sobre los reales es el triplete ordenado (p, n, z) que indica los números de valores propios positivos, negativos y cero de cualquier matriz simétrica que la represente, describiendo su patrón de definitud.