 ##  [Syntactic Translation](/syntactic-translation) 

  ##  [Syntactic Translation](https://mathlogic.quantumdictionary.io/syntactic-translation-0) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

A mechanically specified mapping from formulas and proofs of one formal language or proof system to formulas and proofs of another, defined by rules on syntax (symbols, connectives, term formation) and intended to preserve syntactic derivability and related proof‑theoretic properties.