lazi.0.2
Définition
lazi.0.2 désigne lazi.0.1 plus la septième règle stipulant que les preuves lazi.1.0 sans conditions déduise des vérités pour lazi.0.1.
lazi.0.2 désigne lazi.0.1 plus la septième règle stipulant que les preuves lazi.1.0 sans conditions déduise des vérités pour lazi.0.1.