คำว่า ' ทฤษฎีบท ' ( N )

   

ในภาษาอังกฤษใช้คำว่า theorem
คำศัพท์ภาษาอังกฤษอื่นๆที่มีความหมายเหมือนกัน : proposition
หน่วยนับ : ทฤษฎี
ตัวอย่างประโยค : ในการให้คอมพิวเตอร์พิสูจน์ทฤษฎีบทให้ เราจำเป็นต้องสร้างกฎในการพิสูจน์ขึ้นมาก่อน
ความหมายภาษาไทย : ข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้