ทฤษฎีบท

• [n.] theorem

ตัวอย่างประโยคในการให้คอมพิวเตอร์พิสูจน์ทฤษฎีบทให้ เราจำเป็นต้องสร้างกฎในการพิสูจน์ขึ้นมาก่อน

หมายเหตุข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้

• [n.] a theorem in geometry

• น. ข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้. (อ. theorem).