first-order language

Eine Sprache $\mathcal{L}$ erster Stufe ist bestimmt durch:

1. einer abzählbar unendlichen Menge an Variablen
2. einer Signatur