Vi finner alle de ikke-logiske symbolene til et førsteordens språk i signaturen til språket. Noen av de andre symbolene over er blant de logiske symbolene som finnes i alle førsteordens språk ($\forall$, $\neg$ og $x$ hvis vi ser på $x$ som en variabel).
Definisjon: Signatur
Test deg selv
La en signatur for et førsteordens språk være gitt ved $\langle a, b, c, d ; f ; P, Q \rangle$.
Hvilke av disse symbolene er da blant de ikke-logiske symbolene til språket?