用于证明更大定理的简短定理。 相关概念有公理、推论、公设、原理和定理。
已故数学家 P. Erdős 经常与以下观察联系在一起：“数学家是一台将咖啡转化为定理的机器”（例如，Hoffman 1998, p. 7）。 然而，这种描述似乎归因于他的朋友 Alfred Rényi (MacTutor, Malkevitch)。 Erdős 的朋友和匈牙利数学家 Paul Turán 进一步发展了这个想法，他认为淡咖啡“只适用于引理”(MacTutor, Malkevitch)。
引理
参见
阿贝尔引理、巴恩斯引理、波莱尔-坎泰利引理、柯西-弗罗贝尼乌斯引理、丹尼尔森-兰乔斯引理、德恩引理、迪尔沃斯引理、狄利克雷引理、除法引理、法卡斯引理、法图引理、变分法基本引理、高斯引理、亨泽尔引理、伊藤引理、约尔当引理、内曼-皮尔逊引理、庞加莱全纯引理、庞加莱引理、黎曼-勒贝格引理、舒尔引理、舒尔表示引理、施瓦茨-皮克引理、斯皮克尔斯引理、佐恩引理使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 上被引用
引理如此引用
Weisstein, Eric W. “引理。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Lemma.html