just want to know is it "good" to use syntax and semantics together in a formal prove in mathematics.
With Completeness theorm,syntax of first order logic is equal in value to semantics. However,in Zhongwang Lu's mathematical logic towards computer science (the book is written in Chinese and the title is translated by myself),Lu said that many people (in Chinese) mixed up syntax with semantics,and one of the purpose of his writing the book is to correct this trend. So Is it good to mix syntax with semantics in mathematical logic?
In many low-level foundations of mathematics introductions there is a lack of precision if it is about completeness and soundness. For example, there is a quite popular "mixing up syntax with semantics"-confusion over the definition of completeness. Some authors use the notion of "completeness" for both:
semantic completeness: For any tautology in the system, there is a formal proof. $(\models \phi )\Rightarrow( \vdash \phi)$.
syntactical completeness: (or negation completeness) For any sentence $\phi$, either $\phi$ or $\lnot \phi$ is provable in the system. $(\not \vdash \lnot \phi) \Rightarrow (\vdash \phi)$.
These notions are not equivalent, however. Negation completeness is stronger than semantic completeness. Also, at least in german, there is another very similar confusion, since some authors use correctness also for consistency, but of course these notions aren't equivalent as well. Maybe this is what the chinese author means if he says people mix up syntax with semantics.