Um das ''Alphabet'' einer Prädikatenlogik erster Stufe anzugeben, ist es ausreichend, seine Symbolmenge anzugeben, da die Menge A bei allen ''Alphabet''en für Prädikatenlogiken erster Stufe dieselbe ist.
{{K|Informatik}} eine endliche, nichtleere Menge von unterscheidbaren [[Symbol]]en ([[Zeichen]]) als Voraussetzung einer formalen Sprache