Full Idea
Axiomatic systems, their primitive terms and proofs, are purely syntactic, that is, do not presuppose any interpretation. ...[142] They never address the world directly, but address a possible semantic model which formally represents the world.
Gist of Idea
Axiomatic systems are purely syntactic, and do not presuppose any interpretation
Source
Michal Walicki (Introduction to Mathematical Logic [2012], 4.1)
Book Reference
Walicki,Michal: 'Introduction to Mathematical Logic' [World Scientific 2012], p.122