اكتشاف قوة توطئة

في الرياضيات والمنطق الرياضي، التوطئة أو التمهيدية أو المبرهنة التمهيدية أو المأخوذ أو الليمة (بالإنجليزية: Lemma)، هي افتراض مبرهن عنه، انطلاقا من مجموعة من المسلمات، والذي يستعمل منطلقا للبرهنة على مبرهنة أكبر.