Lazi

Ordre total sur les formules utilisées par un calcul

Contexte

Voir l'étude.

Énoncé

Conditions

x est une formule calculable.

Conclusion

Il existe un ordre total sur les formules utilisées par le calcul d'une formule.

Démonstration

Voir le titre "L'ordre "est utilisé dans le calcul"" de l'étude.