Letzten Teil eines Strings entfernen bei unbekannter Länge

[Namenloser]

Und ist sicherer, denn Schleifenvariablen sind nach der Schleife undefiniert (der Compiler gibt deshalb auch eine Warnung aus). Dass dein code funktioniert, ist also reines glück.
Und for I :=1 downto Length(formel) do ist eh sinnlos, weil die Schleife eigentlich niemals durchlaufen wird, weil Length(Formel) normal > 1 ist. Zumal die Schleife ja auch gar keinen Inhalt hat, also komplett sinnlos ist.