Какие основные типы математических лемм существуют?

Нет однозначного ответа на вопрос, какие основные типы математических лемм существуют. Но известно, что лемма в математике — это доказанное утверждение, которое полезно не само по себе, а для доказательства других утверждений. kartaslov.ru ru.ruwiki.ru

Некоторые примеры известных лемм: лемма Евклида, лемма Жордана, лемма Гаусса, лемма Накаямы, лемма Бёрнсайда, лемма Морса, лемма о разрастании, диагональная лемма, лемма Фату, лемма Ферма, лемма Цорна, лемма Шепли — Фолкмана, лемма Шура. kartaslov.ru ru.ruwiki.ru

Также существует лемма о змее, которая используется в математике, особенно в гомологической алгебре, для построения длинных точных последовательностей. kartaslov.ru