Лемма (математика)
- Лемма в математике, неформальной логике и сопоставлении аргументов – незначительное, доказанное утверждение, используемое как ступенька к более крупному результату.
- Она также известна как “вспомогательная теорема” или “auxiliary theorem”.
- Во многих случаях важность леммы определяется теоремой, которую она стремится доказать.
- Лемма широко используется в науке и философии.
- Формального различия между леммой и теоремой нет, есть только намеренное различие.
- Некоторые важные результаты в математике известны как леммы, которые в конечном итоге оказались центральными для теорий, в которых они используются.
Полный текст статьи: