##  [Deduktives System](/de/node/60832) 

  ##  [Deduktives System](https://mathlogic.quantumdictionary.io/de/node/60833) 

  

 [![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

Ein formaler Apparat, der aus einer formalen Sprache sowie einer Menge von Axiomen (oder Axiomenschemata) und Inferenzregeln besteht, die bestimmen, welche Folgen von Formeln als gültige Herleitungen von Prämissen zu Konklusionen gelten.