อ่าน 1 นาที
รุ่นที่ไม่เป็นมาตรฐาน
ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน)
รุ่นที่ไม่เป็นมาตรฐาน
ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน) [ 1 ]
การดำรงอยู่
หากแบบจำลองที่ต้องการเป็นแบบอนันต์และภาษาเป็นภาษาลำดับที่หนึ่ง ทฤษฎีบท ของโลเวนไฮม์-สโกเลมจะรับประกันการมีอยู่ของแบบจำลองที่ไม่เป็นมาตรฐาน แบบจำลองที่ไม่เป็นมาตรฐานเหล่านี้สามารถเลือกได้ว่าเป็นส่วนขยายพื้นฐานหรือโครงสร้างย่อยพื้นฐานของแบบจำลองที่ต้องการ
ความสำคัญ
แบบจำลองที่ไม่เป็นมาตรฐานนั้นได้รับการศึกษาในทฤษฎีเซตการวิเคราะห์ที่ไม่เป็นมาตรฐานและแบบจำลองที่ไม่เป็นมาตรฐานของเลขคณิต
ดูเพิ่มเติม
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ รุ่นที่ไม่เป็นมาตรฐาน
ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน)
การดำรงอยู่
หากแบบจำลองที่ต้องการเป็นแบบอนันต์และภาษาเป็นภาษา ลำดับที่หนึ่ง ทฤษฎีบท ของ โลเวนไฮม์-สโกเลม จะรับประกันการมีอยู่ของแบบจำลองที่ไม่เป็นมาตรฐาน แบบจำลองที่ไม่เป็นมาตรฐานเหล่านี้สามารถเลือกได้ว่าเป็น ส่วนขยายพื้นฐาน หรือ โครงสร้างย่อยพื้นฐาน ของแบบจำลองที่ต้องการ
ความสำคัญ
แบบจำลองที่ไม่เป็นมาตรฐานนั้นได้รับการศึกษาใน ทฤษฎีเซต การ วิเคราะห์ที่ไม่เป็นมาตรฐาน และ แบบจำลองที่ไม่เป็นมาตรฐานของ เลขคณิต
ดูเพิ่มเติม
การตีความ (ตรรกศาสตร์) ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Non-standard_model&oldid=1287652263 "