| ภาษา : |
|
| ชุมชนวิกิพีเดีย |คำตอบสารานุกรม |ส่งคำถาม |ความรู้คำศัพท์ |อัปโหลดความรู้ |
ความจริง |
|
ตั้งแต่การก่อสร้างจริงระบบสามารถสมบูรณ์โดยไม่ต้องขัดแย้งเพื่อตอบสนองความสอดคล้องของระบบทฤษฎีดังนั้นเกือบทุกพื้นที่ของคณิตศาสตร์และแม้บางสาขาวิทยาศาสตร์ด้านนอกของระบบคณิตศาสตร์ซึ่งเป็นจริงนอกจากนี้ยังใช้ในการสร้างระบบทฤษฎีของพวกเขา คนส่วนใหญ่ได้รับการยอมรับในฐานะที่เป็นทฤษฎีบิ๊กแบงที่ทันสมัยอยู่บนพื้นฐานของความเข้าใจดังกล่าวในทางคณิตศาสตร์ทฤษฎีบททั้งหมดจะต้องได้รับการพิสูจน์อย่างเคร่งครัด แต่ก็จะมีการพิสูจน์ความจริง เพราะความจริงก็คือคนเพื่ออำนวยความสะดวกการวิจัย (เฉพาะบางแง่มุมของมาตรฐานเพื่อให้มีการศึกษาเพิ่มเติมในเชิงลึกดำเนินการตามมาตรฐานนี้คือความจริง) ตั้งเทียมถ้าการเปลี่ยนแปลงในตรรกะอาจจะดี แต่บางคนก็มีอยู่แล้วกลายเป็นที่คุ้นเคยกับการใช้ หรือที่จะสร้างระบบทฤษฎีของความไม่สะดวกและมากยิ่งขึ้นตัวแปร (เช่นพื้นที่กำหนดเป็นจำนวนของคนที่จะเป็นช่วงหรือคุณต้องการที่จะให้มือของพื้นที่ไม่มีการกำหนดวิธีการที่คุณพูดว่า "เพียงขนาดใหญ่ดังนั้น ใหญ่ "คุณจะสามารถพูดเพื่อ); หรือบางสิ่งที่กว้างเกินไปมนุษย์ยังคงไม่สามารถที่จะใช้ผลักดันทฤษฎีที่มีอยู่ทำให้เกิดความสูงทั่วไป (เช่น 1 1 = 2) ระบบความจริงในคำนามที่มีอยู่แล้วที่กำหนดไว้ล่วงหน้าแนวคิดความจริงระบบดังกล่าวเป็นระบบที่แท้จริงของสัจพจน์ เช่นสัจพจน์เรขาคณิตแบบยุคลิด เพราะพวกเขามีการกำหนดแนวคิดนี้เราจึงจะมีบางส่วนของแนวความคิดเดิมที่เป็นจุดเริ่มต้นสำหรับการกำหนดแนวคิดอื่น ๆ เช่นการใช้รูปทรงเรขาคณิตแบบยุคลิด "บางส่วน", "ระยะเวลา", "กว้าง", "ขีด จำกัด " และ "ตำแหน่งเดียวกัน" ฯลฯ . ตั้งทฤษฎี หนึ่งในสาขาหลักของตรรกะทางคณิตศาสตร์ซึ่งเป็นจริงวิธีการสร้างใหม่ (ไร้เดียงสา) การศึกษาทฤษฎีเซตและทฤษฎีชุดเมตาทางคณิตศาสตร์และหลักการทฤษฎีเซตการศึกษาใหม่ เอฟเอฟเมลโลนโยบายครั้งแรกของชนิดในปี 1908 ที่เสนอระบบแรกของสัจพจน์ของทฤษฎีเซตตั้งทฤษฎีปรากฏขึ้นที่จะเอาชนะความขัดแย้งของปี ค.ศ. 1920 AA Fraenkel และ AT Sike หรั่งจะต้องได้รับการปรับปรุงและเสริม ส่งผลให้ใน Merlot ใช้กลยุทธ์ - ระบบสัจพจน์ Fraenkel, แสดงโดย ZF ZF เป็นระบบอย่างเป็นทางการบนพื้นฐานของความสัมพันธ์กับคำอื่น ๆ และเป็น "∈" ที่ด้านบนของแคลคูลัสลำดับแรก สัจพจน์ไม่ตรรกะมันคือความจริงความจริงเป็นส่วนหนึ่งของชุดที่ว่างเปล่าเรียงลำดับคู่และสัจพจน์สัจพจน์พลังงานความจริงความจริงชุดของอินฟินิตี้, แยก (ย่อย) โครงการความจริง, ความจริงรูปแบบการเปลี่ยนจากปกติ (ขั้นพื้นฐาน) สัจพจน์ ถ้าบวกกับความจริงของการเลือก (AC) ของระบบความจริงที่เกิดขึ้นคือย่อว่า ZFC (ดูชุดตามหลักวิชาระบบความจริง) วิธี สั้น, รูปทรงเรขาคณิตของวิธีการซึ่งเป็นจริงจากจำนวนเล็ก ๆ ของแนวความคิดดั้งเดิมและหลักการในการสร้างความสอดคล้องกับหลักการของการหลบหนีระบบตรรกะนิรนัยวิธีเรขาคณิต ซึ่งเป็นจริงวิธีการที่ใช้ในการสร้างระบบวินัยทางคณิตศาสตร์ทั่วไปประกอบด้วยองค์ประกอบต่อไปนี้สี่: (A) แนวคิดเดิมของการนับ; (2) กำหนดบรรยาย; (3) การแจกแจงความจริง; (4) อธิบายและพิสูจน์ทฤษฎีบท เหล่านี้สี่องค์ประกอบไม่เป็นส่วนหนึ่งของส่วนที่การเล่าเรื่องที่เป็นอิสระและแฉ แต่ข้ามแต่ละอื่น ๆ , การเจาะร่วมกันพึ่งพากันตามหลักการของการหักตรรกะและการขยายตัว โดยทั่วไปวิธีการที่ใช้ในการสร้างรูปทรงเรขาคณิตของระบบการอนุมานซึ่งเป็นจริงเสมอประกอบด้วยโครงสร้างเชิงตรรกะนามธรรมของเนื้อหาและรูปแบบของความสามัคคี การตัดสินใจจะขึ้นอยู่กับแนวคิดของระบบเรขาคณิตเดิมและหลักการในการตัดสินใจที่แตกต่างกันขึ้นอยู่กับระบบทางเรขาคณิตที่แตกต่างกันเช่นเรขาคณิตแบบยุคลิดเรขาคณิตโรชรีมันเรขาคณิตทอพอโลยีและอื่น ๆ โครงสร้างเชิงตรรกะของเรขาคณิตระบบขึ้นอยู่กับหลักการเพื่อทำระบบเช่นเดียวกับการจัดรูปทรงเรขาคณิตของระบบสัจพจน์ในลำดับที่แตกต่าง, โครงสร้างตรรกะที่แตกต่างกันสามารถสร้างขึ้น ยกตัวอย่างเช่นโรงเรียนตำราเรียนสูงเรขาคณิตใน "ทฤษฎีบทมุมภายนอก" และสัญญาสามเหลี่ยม "มุมทฤษฎีบทมุม" ถูกสร้างขึ้นหลังจากจริงขนานมันสามารถสรุปบนพื้นฐานของการขนานความจริง "มุมของรูปสามเหลี่ยมจะมีค่าเท่ากับสองมุมขวา" มันเป็นเรื่องง่ายที่จะให้หลักฐาน แต่ในที่กล่าวถึงด้านล่างรูปทรงเรขาคณิตแบบยุคลิดฮิลแบร์ตที่สร้างขึ้นโดยระบบเพราะทั้งสองทฤษฎีบทที่ถูกสร้างขึ้นมาก่อนที่จริงขนานก็จะไม่ได้รับอนุญาตที่จะใช้ "มุมของรูปสามเหลี่ยมและ" ทฤษฎีบท ที่รูปทรงเรขาคณิตแบบยุคลิดเดียวกันสามารถมีโครงสร้างเชิงตรรกะหลายหลักฐานทางเรขาคณิตของกฎหมายเรื่องไม่เป็นสากลก็มีผลบังคับใช้ในโครงสร้างเชิงตรรกะนี้ในขณะที่โครงสร้างอื่นอาจใช้ไม่ได้ |
| ผู้ใช้งาน ทบทวน |
|
ยังไม่มีความเห็น |
