บทตั้ง

จากวิกิพีเดีย สารานุกรมเสรี

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

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