Ableitbarkeitsbeziehung
Ableitbarkeit-s-Beziehung
Die Motivation dabei ist oft die, dass genau dann zwischen den formalen Objekten eine Ableitbarkeitsbeziehung besteht, wenn die natürlichsprachlichen Gebilde, deren Übersetzungen sie darstellen, auseinander folgen. (Korrektheit in der Formallogik)