ทฤษฎีบท

ในทางคณิตศาสตร์ ทฤษฎีบท (อังกฤษ: theorem) คือข้อความที่พิสูจน์แล้วว่าเป็นจริง หรือสามารถพิสูจน์ได้ว่าเป็นจริง และสามารถใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้

การพิสูจน์ทฤษฎีบทคือการอ้างเหตุผลเชิงตรรกะซึ่งใช้กฎการอนุมานในการพิสูจน์ว่าทฤษฎีบทนั้นเป็นผลพวงเชิงตรรกะของสัจพจน์ต่าง ๆ รวมถึงทฤษฎีบทอื่น ๆ ที่เคยพิสูจน์ไปก่อนแล้ว

ในคณิตตรรกศาสตร์ แนวคิดของทฤษฎีบทและการพิสูจน์ถูกทำให้เป็นระบบเพื่อให้การให้เหตุผลทางคณิตศาสตร์สำหรับสิ่งเหล่านั้นสามารถเป็นไปได้ ในบริบทนี้ ข้อความจะอยู่ในรูปของ (well-formed formulas) ซึ่งเป็นภาษารูปนัย

อ้างอิง

1. "Definition of THEOREM". Merriam-Webster (ภาษาอังกฤษ).
2. "พจนานุกรมฉบับราชบัณฑิตยสถาน พ.ศ. ๒๕๕๔".