句法理论亦称“语形理论”。关于语言的一种形式理论。句法理论所注重的不在于表达式的指称和意义，而仅仅在于构造这些表达式的那些符号的种类和次序以及规定语言实体的形成规则、变形规则。在数理逻辑中，用无语言叙述的关于对象语言的形式理论就是一种句法理论。