signature

Eine Signatur auf einer Variablenmenge besteht aus: a)

1. für jede natürliche Zahl \(n \geq 0\) eine (eventuell leere) Menge an \(n\)-stelligen Relationssymbole ¹
2. \(\bot\) falsum ist ein festes Aussagensymbol

b)

1. für jede natürliche Zahl \(n \geq 0\) eine (eventuell leere) Menge von \(n\)-stelligen Funktionssymbolen