سلام یک سوالی که همیشه برام بوده اینه که بعضی وقت ها داخل ریاضی از عبارت لم استفاده شده بعضی وقت ها هم قضیه و هردو هم اثبات دارن و هیچ وقت نفهمیدم واقعا فرقشون چیه کسی می دونه؟
3 پسندیده
تفاوت اساسی ندارن. معمولا یک مسئله کلی وجود داره که اثباتش در قالب قضیه قراره انجام بشه. ممکنه در این قدمهای اثبات، نیاز باشه یه سری مسائل جانبی هم اثبات بشه، که اون رو معمولا در قالب لم میارن. به نظر خودم، انتظار بر اینه که قضیه به خودی خود دارای اهمیت باشه ولی لم بیرون از اثبات قضیه، اهمیتی ممکنه نداشته باشه (هرچند این ممکنه یه استنباط باشه و بعضی از نتایج جانبی در لمها خیلی اهمیت پیدا میکنن)
3 پسندیده