вспомогательная теорема, необходимая только для доказательства другой теоремы.
ru (матем.)
Используя определение выпуклого множества и лемму Кантора, можно без особого труда доказать хорошо известные факты о выпуклых множествах, приведённые в леммах 2, 3 и 4.
Россия была загадкой для дяди Флери, а загадок он не любил: труд его о всемирной революции был написан в форме аксиом, лемм, теорем.
Доказательство теоремы о единственности выпуклого многогранника основано на двух замечательных леммах.
нормализованная, основная форма слова, вместе с информацией о построении других форм.
ru (лингв.)
Сравнительная частота конкретной словоформы (обе леммы для «стали» достаточно частотны, но существительное в отличие от глагола очень часто употребляется именно в этой форме.
условно-разделительное предпосылкой для последующих заключений.
логич. (помета)
Условно-разделительные умозаключения вообще называются леммами; если разделительная посылка содержит только два члена, то такое умозаключение называется дилеммой, если в неё входит три члена, то перед нами трилемма, и вообще полилемма, когда разделительная посылка содержит больше двух членов.
нижняя цветковая чешуя колоска, в пазухе которой располагается, согласно разным теориям строения цветка и колоска злаков, либо цветок, либо укороченный побег, заканчивающийся цветком.
ru (ботан.)
"Помощница" основной теоремы
"Помощница" теоремы
в математике: вспомогательная теорема, необходимая для доказательства другой теоремы
вспомогательная теорема
вспомогательное утверждение, необходимое для доказательства
ж. греч. математическое предложенье, выводимое следствием из предыдущего, доказанного
коллега аксиомы и теоремы
подсобка теореме
подсобная теорема
подтеорема
промежуточная теорема
теорема
теорема в помощь
теорема в теореме
теорема для доказательства другой теоремы
теорема-"подпевала"
теорема-"помощница"
теорема-«подпевала»
помощница теоремы
«помощница» основной теоремы
теорема-«помощница»
(греч. lemma, от lambano - думаю, убеждаю). Предложение, доказанное раньше, на котором основывается последующее.
в логике и математике - положение, доказанное исключительно для доказательства другого положения.
греч. lemma, от lambano, думаю, убеждаю. Предложение, служащее доказательством другого.
положение, требующее доказательства и служащее только для доказательства другого положения.
Вспомогательное утверждение, необходимое для доказательства.