Prädikatenlogik (Signatur)

Eine Signatur besteht aus

• einer Menge von Funktions-Symbolen
• und einer Menge von Prädikat-Symbolen,

jeweils mit Stelligkeiten (einsortige Signatur) oder Typen (mehrsortige Signatur).