เนื้อหา

• คงเส้นคงวา

  
  

  ในตรรกะการอนุมานแบบคลาสสิกทฤษฎีที่สอดคล้องกันเป็นสิ่งที่ไม่มีความขัดแย้ง การขาดความขัดแย้งสามารถกำหนดได้ทั้งในแง่ความหมายหรือวากยสัมพันธ์ คำจำกัดความทางความหมายระบุว่าทฤษฎีมีความสอดคล้องกันหากว่ามีรูปแบบคือมีการตีความตามที่สูตรทั้งหมดในทฤษฎีมีอยู่จริง นี่คือความรู้สึกที่ใช้ในตรรกะ Aristotelian ดั้งเดิมแม้ว่าในตรรกะทางคณิตศาสตร์ร่วมสมัยคำที่น่าพอใจจะใช้แทน ความหมายของคำนิยามที่ระบุว่าทฤษฎี syntax t { displaystyle T} ก็ต่อเมื่อหากไม่มีสูตรφ { displaystyle varphi} ทั้ง both { displaystyle varphi} และการปฏิเสธ¬φ { displaystyle lnot varphi} เป็นองค์ประกอบของชุด T { displaystyle T} ให้ { displaystyle A} เป็นชุดประโยคปิด (ทางการ "สัจพจน์") และ⟨ A ⟩ { displaystyle langle A rangle} ชุดประโยคปิดที่พิสูจน์ได้จาก A { displaystyle A} ภายใต้บางส่วน (ที่ระบุ อาจเป็นระบบปริยาย) เซตของสัจพจน์ A { displaystyle A} มีความสอดคล้องกันเมื่อ⟨ A ⟩ { displaystyle langle A rangle} คือหากมีระบบนิรนัยซึ่งนิยามความหมายและไวยากรณ์เหล่านี้เทียบเท่ากับทฤษฎีใด ๆ ตรรกะเรียกว่าสมบูรณ์ ความสมบูรณ์ของแคลคูลัสประโยคได้รับการพิสูจน์โดย Paul Bernays ในปี 1918 และ Emil Post ในปี 1921 ในขณะที่ความสมบูรณ์ของแคลคูลัสภาคแสดงได้รับการพิสูจน์โดย Kurt Gödelในปี 1930 และพิสูจน์ความมั่นคงสำหรับ arithmetics จำกัด ด้วยความเคารพ (1924), von Neumann (1927) และ Herbrand (1931) Logics ที่แข็งแกร่งเช่นลอจิกลำดับที่สองไม่สมบูรณ์ การพิสูจน์ความสอดคล้องเป็นข้อพิสูจน์ทางคณิตศาสตร์ว่าทฤษฎีใดทฤษฎีหนึ่งมีความสอดคล้องกัน การพัฒนาทฤษฎีการพิสูจน์ทางคณิตศาสตร์ในช่วงต้นได้แรงหนุนจากความปรารถนาที่จะให้การพิสูจน์ความสอดคล้องอย่างละเอียดสำหรับทุกวิชาคณิตศาสตร์เป็นส่วนหนึ่งของโปรแกรมฮิลเบอร์ต โปรแกรมของ Hilberts ได้รับผลกระทบอย่างมากจากทฤษฎีความไม่สมบูรณ์ซึ่งแสดงให้เห็นว่าทฤษฎีการพิสูจน์ที่แข็งแกร่งเพียงพอไม่สามารถพิสูจน์ความมั่นคงของตนเองได้ แม้ว่าความสม่ำเสมอสามารถพิสูจน์ได้ด้วยวิธีการของทฤษฎีแบบจำลอง แต่ก็มักจะทำในรูปแบบของการสร้างประโยคโดยไม่จำเป็นต้องอ้างถึงแบบจำลองบางส่วนของตรรกะ การตัด - ตัด (หรือเท่ากับการฟื้นฟูของแคลคูลัสถ้ามีพื้นฐาน) หมายถึงความมั่นคงของแคลคูลัส: เพราะเห็นได้ชัดว่าไม่มีการพิสูจน์ความถูกต้อง - ตัดฟรีเพราะไม่มีความขัดแย้งทั่วไป

  
  

• สอดคล้อง (คำคุณศัพท์)

  การสะกดผิดที่สอดคล้องกัน

• สอดคล้อง (คำคุณศัพท์)

  จากธรรมชาติที่เกิดขึ้นเป็นประจำและเชื่อถือได้ จากสาย 16 ในแง่ที่ล้าสมัย ‘ประกอบด้วย’

  "การใช้ Chinglish ในจีนอย่างสม่ำเสมอนั้นน่ารำคาญมากนอกเหนือจากความบันเทิงเริ่มต้น"

  “ เขามีความสอดคล้องกันในการเลือกทางการเมืองของเขา: เศรษฐกิจดีหรือไม่ดีเขามักโหวตแรงงาน!”

• สอดคล้อง (คำคุณศัพท์)

  เข้ากันได้สอดคล้อง

• สอดคล้อง (คำคุณศัพท์)

  ของชุดคำสั่ง: ดังกล่าวที่ไม่มีความขัดแย้งตามเหตุผลจากพวกเขา

• สอดคล้อง (คำนาม)

  วัตถุหรือข้อเท็จจริงที่อยู่ร่วมกันหรือตกลงกัน

• สอดคล้อง (คำนาม)

  สำนึกผิดชนิดหนึ่งที่ได้รับอนุญาตให้ช่วยเหลือเมื่อได้รับอนุญาตให้รับศีลศักดิ์สิทธิ์

• สอดคล้อง (คำคุณศัพท์)

  มีความแน่วแน่หรือคงที่; บริษัท; ยาก; ของแข็ง

• สอดคล้อง (คำคุณศัพท์)

  มีข้อตกลงกับตัวเองหรืออย่างอื่น; มีความสามัคคีในส่วนต่าง ๆ ; มีความเป็นอันหนึ่งอันเดียวกัน สอดคล้อง; ความสามัคคี; สอดคล้อง; ที่เข้ากันได้ เครื่องแบบ; ไม่ขัดแย้ง

  
  

• สอดคล้อง (คำคุณศัพท์)

  การใช้ชีวิตหรือการปฏิบัติตามความเชื่อหรืออาชีพ

• สอดคล้อง (คำคุณศัพท์)

  (บางครั้งตามด้วย `ด้วย) ในข้อตกลงหรือสอดคล้องหรือเชื่อถือได้;

  "ประจักษ์พยานสอดคล้องกับข้อเท็จจริงที่รู้จัก"

  "ฉันได้ตัดสินใจแล้วว่าแนวทางการปฏิบัติที่ฉันปฏิบัติตามนั้นสอดคล้องกับความรับผิดชอบในฐานะประธานาธิบดีในยามสงคราม"

• สอดคล้อง (คำคุณศัพท์)

  ทำเครื่องหมายด้วยความสัมพันธ์ที่เป็นระเบียบเรียบร้อยมีเหตุผลและสวยงาม

  "อาร์กิวเมนต์ตรรกะ"

  "การนำเสนอที่เป็นระเบียบ"

• สอดคล้อง (คำคุณศัพท์)

  ความสามารถในการทำซ้ำ;

  "ผลลัพธ์ที่สามารถทำซ้ำได้อย่างน่าอัศจรรย์"

• สอดคล้อง (คำคุณศัพท์)

  เหมือนกันตลอดในโครงสร้างหรือองค์ประกอบ;

  "ถ่านหินบิทูมินัสถือว่าเป็นผลิตภัณฑ์ที่สม่ำเสมอและเป็นเนื้อเดียวกัน"