Syntactic proof is a method in formal logic that demonstrates the validity of a statement using a set of inference rules and axioms without regard to any interpretation or meaning of the symbols involved. It is a purely mechanical process that follows the syntactic structure of the language, contrasting with semantic proof, which involves meaning and interpretation.