Meintest du:

_forall_ _formell_ _formale_ _formally_ _formally