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).
