Formales System

Ein genau spezifiziertes Tupel bestehend aus einer formalen Sprache (Symbole und Bildungsvorschriften), einer Menge von Axiomen oder Axiomenschemata und Inferenzregeln, die festlegen, wie Formeln abgeleitet werden dürfen; dient dazu, formale Ausdrücke unabhängig von einer intendierten Interpretation zu erzeugen und zu manipulieren.