引理是什麼意思

在數學中，引理是一個輔助性的定理或命題，它本身並不重要，但是它是證明一個更重要的定理或命題的基石。引理通常用於鋪墊，為證明主要結果提供基礎或工具。引理可以是定理的一個特例，或者是一個較弱的版本，也可以是一個技術性較強的結果，它的證明可能很複雜，但它的意義在於它為證明主要定理提供了關鍵的一步。