Meintest du:

Formalisierten Formalisierung Formalisierte Formalisiert