ตอนที่ 317 โครงการเลี้ยงหมาป่า

ตอนที่ 317 โครงการเลี้ยงหมาป่า

สิ่งที่หวังฉีต้องการจะกล่าวกับเฝิงลั่วอี ย่อมเป็นโครงการแบบจำลองภายในอย่างไม่ต้องสงสัย

แบบจำลองภายในและคลาสสร้างได้นั้น แทบจะเป็นความสัมพันธ์ระหว่างดอกผล คลาสสร้างได้คือดอก ส่วนแบบจำลองภายในคือผล

ทว่าแบบจำลองภายในนั้นย่อมมีข้อบกพร่องร้ายแรงอยู่

ประการแรก มันถูกสร้างขึ้นบนเซตอนุรักษนิยมโดยสมบูรณ์ ขณะที่ศาสตร์คำนวณนั้นมีส่วนที่ต้องอาศัยเซตนอกอนุรักษนิยมในการควบคุมอยู่จริง

อีกทั้งมันยังตัดวงจรออกไป และไม่รวมถึงสายโซ่ลดหลั่นอนันต์

นอกจากนี้ มันยังไม่สามารถบรรจุคาร์ดินัลใหญ่ ซึ่งรวมถึงคาร์ดินัลเข้าถึงไม่ได้อันดับหนึ่งและอันดับสองได้

คาร์ดินัลใหญ่มีข้อดีมากมาย ดังที่เคยกล่าวไปก่อนหน้านี้ การนำคาร์ดินัลใหญ่เข้ามาสามารถพิสูจน์ได้โดยตรงว่าเซตจำนวนจริงที่สร้างได้ใด ๆ จะไม่ก่อให้เกิดปฏิทรรศน์แบ่งทรงกลม และไม่จำเป็นต้องยกเลิกฟังก์ชันการเลือก การนำคาร์ดินัลใหญ่เข้ามายังสามารถพิสูจน์ความบริบูรณ์ของเลขคณิตขั้นสองได้

เป็นต้น

และหากระบบทฤษฎีของสำนักสร้างฐานต้องการจะพัฒนา ก็จำเป็นต้องมีคาร์ดินัลใหญ่เช่นกัน