Axm

Lema

Do grego *lêmma* — "o que se toma", "o que se assume".


term: Lema etymology: 'Do grego lêmma — "o que se toma", "o que se assume".' summary: 'Teorema auxiliar — proposição provada como passo intermediário rumo a outra prova.' relatedModules: [proof-methods] seeAlso: [teorema, corolario]

Definição

Teorema auxiliar — proposição provada como passo intermediário rumo a outra prova.

Intuição

Andaime. Sustenta o teorema principal sem ser o objetivo final.