/  
D.h., [W|w]enn jeder Satz Fa aus (n)Fn folgt so heißt das sozusagen: es folgt aus ihm, was eine gegebene Form hat. Die Anwendung ist eben immer endlich, wenn sie auch endlos ist. Und beim Schließen wird eben der allgemeine Satz von Fall zu Fall angewendet, wie gesagt, endlos zwar, aber immer
im Endlichen
endlich
. D.h., die Endlosigkeit kommt in der Anwendung nicht zum Ausdruck.