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

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

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

หนึ่งในทฤษฎีบทที่รู้จักกันดีที่สุดคือ ทฤษฎีบทเทลส์ (Tales Theorem ) ซึ่งกล่าวว่าโดยการทำเครื่องหมายเส้นใน รูปสามเหลี่ยม ที่ขนานกับด้านใดด้านหนึ่งของรูปสามเหลี่ยมคู่ที่คล้ายกัน (นั่นคือสองร่างด้วย มุมและสัดส่วนที่เท่ากัน)

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

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

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

ทฤษฎีสีสี่สีระบุว่าแผนที่ทางภูมิศาสตร์ที่มีพื้นที่ชายแดนสามารถทาสีได้โดยใช้ เพียงสี่เฉดสีที่แตกต่างกัน ดังนั้นภูมิประเทศที่ไม่มีคู่จึงมีสีเดียวกัน การค้นพบนี้ทำโดยนักเรียนคณิตศาสตร์และพฤกษศาสตร์ชื่อฟรานซิสกูทรีในปี ค.ศ. 1852 และพิสูจน์ความจริงได้มากกว่า 100 ปีต่อมาด้วยมือของ นักวิทยาศาสตร์ สองคน: Kenneth Appel และ Wolfgang Haken แม้จะไม่ได้เป็นความรู้สาธารณะ แต่ทฤษฎีบทนี้ได้รับการศึกษามานับครั้งไม่ถ้วนและความจริงที่ว่าคอมพิวเตอร์ต้องการวิเคราะห์ความแม่นยำ

ในอีกทางหนึ่ง "Teorema" เป็นชื่อของนิตยสารภาษาสเปนที่เชี่ยวชาญใน ปรัชญา ที่ก่อตั้งโดยศาสตราจารย์ มานูเอล Garrido ใน ปี 1971 สิ่งพิมพ์ได้รับการเผยแพร่อย่างต่อเนื่องจนถึง ปี 1986 จากนั้นเผยแพร่อีกครั้งตั้งแต่ ปี 1996 ในปัจจุบัน "Teorema" มีการพิมพ์รายไตรมาสและทุก ๆ ปีจะมีการเสนอชื่อ "Limbo" เพิ่มเติม