签名（逻辑）
| 签名 | |
|---|---|
| 术语名称 | 签名 |
| 英语名称 | signature |
| 元数 | |
|---|---|
| 术语名称 | 元数 |
| 英语名称 | arity |
逻辑学中形式语言的签名(signature)，指语言中个体常项、函项、谓词集合及其各自的元数(arity)。也用于指结构、模型的这一概念。
有相同签名的多个模型才有可能讨论其是否将相同的个体常项、函项、谓词解释到相同或对应的对象。
定义
一个形式语言的签名(signature)可以形式化地定义为四元组 [math]\displaystyle{ (S_\mathrm{func}, S_\mathrm{rel}, S_\mathrm{const}, a) }[/math] ，分别代表函项集合、谓词集合、个体常项集合，以及一个将函项、谓词映射到其元数(arity)的映射。
当函项集合和谓词集合均为有限集，称其有有限签名(finite signature)，几个集合的基数之和称为签名的基数(cardinality)。
对形式语言上的结构，类似地定义同样的四元组为其签名。