n-formules

Contexte

Il arrive couramment de représenter les formules lazi en lazi, même à l'intérieur des représentations de formules on peut représenter des formules. La notion de n-formule permet de distinguer les niveaux de représentation.

Définition

Une 0-formule lazi est une formule Lazi.

Pour n€ℕ^*, une n-formule lazi est une représentation de formule lazi dans une (n-1)-formule lazi.