##  [Signature](/signature) 

  ##  [Signature](https://mathlogic.quantumdictionary.io/signature-0) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A specification of the nonlogical vocabulary of a formal language: a set of symbol declarations including constant symbols, function symbols with arities, and relation (predicate) symbols with arities that determine the syntactic building blocks available to form terms and atomic formulas.

 

 

 

 

 





 

 



 ##  [Signature](https://algebra.quantumdictionary.io/signature-1) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

The signature (or inertia) of a symmetric bilinear form or quadratic form over the reals is the ordered triple (p, n, z) giving the numbers of positive, negative, and zero eigenvalues of any representing symmetric matrix, describing its definiteness pattern.