theorem

แปลว่า ข้อพิสูจน์ทางคณิตศาสตร์

แปลว่า ทฤษฎีบท

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

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

แปลว่า แนวคิดที่ยอมรับว่าเป็นจริง