ขอถามความหมายของคำทางคณิตศาสตร์เหล่านี้
 

definition
lemma
corollary
theorem

มันแตกต่างกันยังไงครับ :D

เอาตามความเข้าใจนะครับ

ก่อนที่จะพูดถึงอะไรสักอย่าง ก็ต้องนิยาม (definition) สิ่งที่เราจะพูดถึงเพื่อให้เข้าใจตรงกันก่อน จากนั้นเมื่อมีข้อสงสัยหรือปัญหาที่ต้องการจะพิสูจน์ก็จะตั้งเป็นทฤษฎีบท (Theorem) ในบางครั้ง การพิสูจน์ทฤษฎีบทที่ยาวหรือซับซ้อน อา่จต้องอาศัยทฤษฎีบทย่อยๆบางอย่างที่เรียกว่า บทตั้ง (Lemma) เพื่อเอาไปช่วยในการพิสูจน์ทฤษฎีบท เมื่อพิสูจน์ทฤษฎีบทได้แล้ว บ่อยครั้งที่เราจะได้ผลพลอยได้จากทฤษฎีบทเป็นข้อเท็จจริงหรือทฤษฎีบทย่อยๆที่เรียกว่า บทแทรก (Corollary) ครับ ลำดับที่จะพบแต่ละตัวจึงเป็น

Definition --> (Lemma) --> Theorem --> Corollary

corollary ครับ

ขอบคุณมากครับผม