ทฤษฎีบท
ในคณิตศาสตร์ ทฤษฎีบทเป็นคำสั่งที่ได้รับการพิสูจน์โดยใช้งบสร้างไว้ก่อนหน้านี้ เช่นทฤษฎีอื่น ๆ และรายงานทั่วไป เช่นสัจพจน์ ข้อพิสูจน์ทฤษฎีบททางคณิตศาสตร์เป็นอาร์กิวเมนต์ตรรกะของทฤษฎีบทคำสั่งให้สอดคล้องกับกฎของระบบ deductive มักจะมีการตีความหลักฐานของทฤษฎีบทเป็นเหตุผลความจริงงบทฤษฎีบท เมื่อความต้องการว่า ทฤษฎีสามารถพิสูจน์ แนวคิดของทฤษฎีบทคือ deductive ภาระ ตรงข้ามแนวคิดของการ scientifictheory ซึ่งเป็นที่ประจักษ์[2]
ทฤษฎีทางคณิตศาสตร์หลายมีเงื่อนไข ในกรณีนี้ ข้อพิสูจน์ deduces บทสรุปจากการสมมุติฐาน เมื่อตีความหลักฐานเป็นเหตุผลจริง ข้อสรุปมักจะดูเป็นเวรจำเป็นสมมุติฐาน ได้แก่ ว่า ข้อสรุปเป็นจริงในกรณีสมมุติฐานเป็นจริง ไม่ มีสมมติฐานใด ๆ เพิ่มเติม อย่างไรก็ตาม แบบมีเงื่อนไขสามารถตีความต่างกันในบางระบบ deductive ตามความหมายที่กำหนดให้กฎมาแล้วเงื่อนไขสัญลักษณ์
แม้ว่าพวกเขาสามารถเขียนในรูปแบบสัญลักษณ์อย่างสมบูรณ์ เช่น ภายในแคลคูลัสเชิงประพจน์ ทฤษฎีมักจะแสดงในภาษาเช่นภาษาอังกฤษ เหมือนเป็นความจริงของหลักฐาน ซึ่งมักจะแสดงเป็นอาร์กิวเมนต์เป็นตรรกะที่เป็นระเบียบ และชัดเจนสิทธ์เสร็จ วัตถุประสงค์ในการโน้มน้าวใจผู้อ่านความจริงงบของทฤษฎีบทนี้นอกจากมีข้อสงสัย และที่ เป็นสัญลักษณ์หลักฐานสามารถหลักสร้าง อาร์กิวเมนต์ดังกล่าวอยู่โดยทั่วไปง่ายต่อการตรวจสอบมากกว่าคนสัญลักษณ์เพียงอย่างเดียว — แน่นอน mathematicians มากจะแสดงค่าสำหรับหลักฐานที่แสดงไม่ ถูกต้องของทฤษฎีบท แต่ยัง อธิบายในบางวิธีทำไมมันเป็นความจริงแน่นอน ในบางกรณี รูปภาพเดียวอาจเพียงพอที่จะพิสูจน์ทฤษฎีบท เนื่องจากทฤษฎีบทความไม่นอนของคณิตศาสตร์ พวกเขาจะยังศูนย์กลางของความสวยงาม ทฤษฎีที่อธิบายมักจะเป็นเล็ก "น้อย" หรือ "ยาก" หรือ "ลึก" หรือแม้แต่ "สวยงาม" ตัดสินตามอัตวิสัยนี้แตกไม่เท่าจากคนสู่คน แต่ยัง มีเวลา: ตัวอย่าง เป็นหลักฐานเป็นแบบง่าย หรือเข้าใจดี ทฤษฎีบทที่เคยยากอาจเล็กน้อย บนมืออื่น ๆ ทฤษฎีบทลึกอาจจะกล่าว แต่หลักฐานอาจเกี่ยวข้องกับประหลาดใจ และละเอียดอ่อนเชื่อมต่อระหว่างสาขาของคณิตศาสตร์ที่แตกต่างกัน ทฤษฎีบทสุดท้ายของแฟร์มาเป็นตัวอย่างที่รู้จักกันดีโดยเฉพาะอย่างยิ่งของทฤษฎีบทดังกล่าว