用於證明更大定理的簡短定理。 相關概念有公理、推論、公設、原理和定理。
已故數學家 P. Erdős 經常與以下觀察聯絡在一起：“數學家是一臺將咖啡轉化為定理的機器”（例如，Hoffman 1998, p. 7）。 然而，這種描述似乎歸因於他的朋友 Alfred Rényi (MacTutor, Malkevitch)。 Erdős 的朋友和匈牙利數學家 Paul Turán 進一步發展了這個想法，他認為淡咖啡“只適用於引理”(MacTutor, Malkevitch)。
引理
參見
阿貝爾引理、巴恩斯引理、波萊爾-坎泰利引理、柯西-弗羅貝尼烏斯引理、丹尼爾森-蘭喬斯引理、德恩引理、迪爾沃斯引理、狄利克雷引理、除法引理、法卡斯引理、法圖引理、變分法基本引理、高斯引理、亨澤爾引理、伊藤引理、約爾當引理、內曼-皮爾遜引理、龐加萊全純引理、龐加萊引理、黎曼-勒貝格引理、舒爾引理、舒爾表示引理、施瓦茨-皮克引理、斯皮克爾斯引理、佐恩引理使用 探索
參考文獻
Hoffman, P. The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, 1998.MacTutor History of Mathematics Archive. "Alfréd Rényi." http://www-history.mcs.st-andrews.ac.uk/Biographies/Renyi.html.Malkevitch, J. "The Erdős Graph." http://www.ams.org/featurecolumn/archive/networks6.html.在 上被引用
引理如此引用
Weisstein, Eric W. “引理。” 來自 —— 資源。 https://mathworld.tw/Lemma.html