Ganz allgemein ist die Syntax eines Zeichensystems eine systematische Beschreibung des Zeichensystems, die von der Bedeutung oder dem Sinn des Zeichens absieht, ebenso davon, was durch die Zeichen bezeichnet wird bzw. worauf sie zutreffen. Sie konzentriert sich auf bloß formale Aspekte und untersucht, wie längere Ausdrücke aus kürzeren zusammengesetzt werden. Die Syntax eines Zeichensystems legt dabei zweierlei fest: einmal eine Menge einfacher oder nicht zusammengesetzter Zeichen, zweitens eine Menge von Regeln, die bestimmen, welche Kombination einfacher Zeichen als korrekte Kombinationen (Terme) zu gelten haben.

In der Beweistheorie gehört neben den Regeln des korrekten Zusammenbaus komplexer Ausdrücke zur Syntax eines formalen Systems einer formalen Sprache L auch eine Menge von Axiomen oder Axiomenschemata sowie eine Menge von Schlussregeln, die bestimmt, welche Beziehungen zwischen Termen von L Ableitungsbeziehungen sind. Damit bestimmt die Syntax, welche Sätze innerhalb eines formalen Systems ableitbar sind. – In der Sprachwissenschaft, wo man einzelne natürliche Sprachen untersucht, versteht man unter Syntax die Gesamtheit der Prinzipien, aus denen man aus Wörtern Sätze aufbaut.

G. Hunter, An Introduction to the Metatheory of Standard First Order Logic , Berkeley/Los Angeles 1996