syntax theorem
a linguistic tool that is used to prove whether a sentence is correct or not. It draws upon grammar rules with an eye to situational or contextual usage.
Syntax theorems may enable English learners to know how to write correct English.