Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition

Ableitbar aus Ausdrucksmenge (Prädikatenlogik)

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken

und ein weiterer -Ausdruck. Man sagt, dass aus ableitbar ist, geschrieben
wenn es endlich viele Ausdrücke

derart gibt, dass

gilt.