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