ในฐานะที่เป็นคำตอบเชิงบวกสำหรับคำถามสุดท้ายของคุณการพิสูจน์การทำให้เป็นมาตรฐานของแลมบ์ดาแคลคูลัสแบบ polymorphic เช่นแคลคูลัสของสิ่งก่อสร้างต้องการอย่างน้อยลำดับเลขคณิตที่สูงกว่าและระบบที่แข็งแกร่งขึ้น (เช่นแคลคูลัสของ
P≠NPPA1DTIME(nlog∗(n))PAPA1
ยิ่งกว่านั้นในทางปรัชญาอย่าทำผิดพลาดในการสร้างความมั่นคงที่มั่นคงด้วยความแข็งแกร่งของสิ่งที่เป็นนามธรรม
วิธีที่ถูกต้องในการจัดระเบียบเรื่องอาจเกี่ยวข้องกับหลักการทางทฤษฎีที่ตั้งอยู่ในป่าอย่างรุนแรงแม้ว่าพวกเขาอาจไม่จำเป็นอย่างเคร่งครัดในแง่ของความมั่นคงที่สม่ำเสมอ ตัวอย่างเช่นหลักการการสะสมที่แข็งแกร่งมีประโยชน์มากสำหรับการระบุคุณสมบัติความเท่าเทียม - เช่นนักทฤษฎีหมวดท้ายต้องการความจริงที่สำคัญของพระคาร์ดินัลขนาดใหญ่ที่อ่อนแอในการจัดการสิ่งต่าง ๆ เช่นหมวดหมู่ของทุกกลุ่มราวกับว่าพวกเขาเป็นวัตถุ ตัวอย่างที่มีชื่อเสียงที่สุดคือเรขาคณิตเชิงพีชคณิตซึ่งการพัฒนาทำให้เกิดการใช้จักรวาล Grothendieck อย่างกว้างขวาง แต่การใช้งานทั้งหมดของพวกเขา (เช่นทฤษฎีบทสุดท้ายของแฟร์มาต์) นั้นอยู่ในลำดับที่สาม เป็นตัวอย่างที่น่าสนใจยิ่งขึ้นโปรดทราบว่าการดำเนินงานเอกลักษณ์และองค์ประกอบทั่วไปนั้นไม่ได้ทำหน้าที่เนื่องจากมีการจัดทำดัชนีทั่วทั้งจักรวาลของเซต
σXX
แก้ไข: ระบบโลจิคัล A มีความแข็งแกร่งที่สม่ำเสมอมากกว่าระบบ B หากความสอดคล้องของ A แสดงถึงความมั่นคงของ B ตัวอย่างเช่น ZFC มีความแข็งแกร่งที่สม่ำเสมอมากกว่า Peano เลขคณิตเนื่องจากคุณสามารถพิสูจน์ความสอดคล้องของ PA ใน ZFC A และ B มีความมั่นคงเหมือนกันหากมีความเสมอภาค ยกตัวอย่างเช่น Peano arithmetic มีความสอดคล้องกันหาก Heyting (เชิงสร้างสรรค์) เป็นเลขคณิตเท่านั้น
IMO หนึ่งในข้อเท็จจริงที่น่าทึ่งที่สุดเกี่ยวกับตรรกะคือความแข็งแกร่งที่สอดคล้องกันทำให้เกิดคำถามว่า "อะไรคือฟังก์ชั่นที่เติบโตเร็วที่สุดที่คุณสามารถพิสูจน์ได้ทั้งหมดในตรรกะนี้" เป็นผลให้ความสอดคล้องของคลาสต่างๆของ logics สามารถสั่งเป็นเส้นตรง! หากคุณมีสัญลักษณ์แสดงความสามารถในการอธิบายฟังก์ชั่นการเติบโตที่เร็วที่สุดของคุณสอง logics สามารถแสดงผลรวมแล้วคุณรู้โดย trichotomy ว่าอย่างใดอย่างหนึ่งสามารถพิสูจน์ความมั่นคงของอื่น ๆ หรือพวกเขาจะเท่าเทียมกัน
แต่ความจริงที่น่าประหลาดใจนี้ก็เป็นเหตุผลว่าทำไมความมั่นคงที่มั่นคงไม่ใช่เครื่องมือที่เหมาะสมสำหรับการพูดคุยเกี่ยวกับนามธรรมทางคณิตศาสตร์ มันเป็นค่าคงที่ของระบบรวมถึงเทคนิคการเขียนโค้ดและสิ่งที่เป็นนามธรรมที่ดีจะช่วยให้คุณสามารถแสดงความคิดเห็นโดยไม่มีเทคนิค อย่างไรก็ตามเราไม่มีความรู้เพียงพอเกี่ยวกับตรรกะในการแสดงความคิดนี้อย่างเป็นทางการ