这是本页的一个历史版本,由Ohtashinichiro(留言 | 贡献)在2020年6月28日 (日) 23:47 (// Edit via Wikiplus)编辑。这可能和当前版本存在着巨大的差异。
引理是数学中为了取得某个更好的结论而作为步骤被证明的命题,其意义并不在于自身被证明,而在于为达成最终目的作出贡献。
一个引理可用于证明多个结论。数学中存在很多著名的引理,这些引理可能对很多问题的解决有帮助。例如欧几里得引理、乌雷松引理、德恩引理、法图引理、高斯引理、中山引理、阿貝爾引理、庞加莱引理、里斯引理和佐恩引理等。
引理和定理没有严格的区分。