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.