บทตั้ง

บทตั้ง (กรีก: λήμμα ; อังกฤษ: lemma; สิ่งที่ได้รับ) ในทางคณิตศาสตร์ คือ ญัตติหรือข้อเสนอที่พิสูจน์แล้ว ซึ่งใช้อธิบายธรรมชาติของสิ่งที่ใหญ่กว่าตัวมันเอง บทตั้งที่ดีสามารถนำไปสู่ผลลัพธ์ที่หลากหลาย และบางส่วนอาจให้ผลลัพธ์ที่มีประสิทธิภาพในการศึกษาคณิตศาสตร์ซึ่งเรียกว่า lemmata ตัวอย่างเช่น

• บทตั้งของซอร์น (Zorn's lemma) เกี่ยวกับขอบเขตสูงสุดของเซตอันดับ
• บทตั้งของเบซู (Bézout's lemma) เกี่ยวกับความสัมพันธ์ของตัวหารร่วมมาก
• บทตั้งของเกาส์ (Gauss's lemma) เกี่ยวกับพหุนามและทฤษฎีจำนวน

และยังไม่มีผู้ใดอธิบายความแตกต่างระหว่างบทตั้งกับทฤษฎีบทอย่างเป็นทางการ