##  [Syntaktische Übersetzung](/de/node/61106) 

  ##  [Syntaktische Übersetzung](https://mathlogic.quantumdictionary.io/de/node/61107) 

  

 [![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 & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Eine mechanisch spezifizierte Abbildung von Formeln und Beweisen einer formalen Sprache oder eines Beweissystems auf Formeln und Beweise eines anderen, definiert durch Regeln über Syntax (Symbole, Junktoren, Termbildung) und mit dem Ziel, syntaktische Herleitbarkeit und verwandte beweistheoretische Eigenschaften zu bewahren.