Syntactic consequence refers to the relationship between statements in a formal system where one statement logically follows from others based on the syntactic rules of the system. It is a fundamental aspect of formal logic and proof theory, ensuring that conclusions are derived purely from the structure and rules without considering semantics or meaning.