Dans le cadre d’une argumentation formelle, proposition déduite d’un ou plusieurs axiomes et dont la démonstration prépare celle d’un théorème qui va suivre.
Note étymologique
Le mot lemme vient du mot grec lêmma (λημμα) qui signifie « résultat » ou « recette » ou encore, par extension, « conséquence ». Dans le contexte mathématique, le lemme s’ajoute à l’énoncé d’un ou plusieurs axiomes et vient ainsi compléter l’argumentation qui permettra de démontrer une nouvelle proposition (théorème).