Die Ableitbarkeit bedeutet, dass es Ausdrücke β 1 , … , β n ∈ Γ {\displaystyle {}\beta _{1},\ldots ,\beta _{n}\in \Gamma } mit
gibt. Nach Fakt (1) ist
Aus Fakt (4) folgt durch Induktion sofort
und somit mit dem Kettenschluss
Dies bedeutet