句法理論

句法理論亦稱“語形理論”。關於語言的一種形式理論。句法理論所注重的不在於表達式的指稱和意義，而僅僅在於構造這些表達式的那些符號的種類和次序以及規定語言實體的形成規則、變形規則。在數理邏輯中，用無語言敘述的關於對象語言的形式理論就是一種句法理論。