กลับไปหน้าบทความ

อ่าน 1 นาที

รุ่นที่ไม่เป็นมาตรฐาน

ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน)

รุ่นที่ไม่เป็นมาตรฐาน

ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน) [ 1 ]

การดำรงอยู่

หากแบบจำลองที่ต้องการเป็นแบบอนันต์และภาษาเป็นภาษาลำดับที่หนึ่ง ทฤษฎีบท ของโลเวนไฮม์-สโกเลมจะรับประกันการมีอยู่ของแบบจำลองที่ไม่เป็นมาตรฐาน แบบจำลองที่ไม่เป็นมาตรฐานเหล่านี้สามารถเลือกได้ว่าเป็นส่วนขยายพื้นฐานหรือโครงสร้างย่อยพื้นฐานของแบบจำลองที่ต้องการ

ความสำคัญ

แบบจำลองที่ไม่เป็นมาตรฐานนั้นได้รับการศึกษาในทฤษฎีเซตการวิเคราะห์ที่ไม่เป็นมาตรฐานและแบบจำลองที่ไม่เป็นมาตรฐานของเลขคณิต

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Non-standard_model&oldid=1287652263 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ รุ่นที่ไม่เป็นมาตรฐาน

ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งในตรรกศาสตร์ทางคณิตศาสตร์แบบจำลองที่ไม่เป็นมาตรฐานคือแบบจำลองของทฤษฎีที่ไม่สอดคล้องกับแบบจำลองที่ตั้งใจไว้ (หรือแบบจำลองมาตรฐาน)

การดำรงอยู่

หากแบบจำลองที่ต้องการเป็นแบบอนันต์และภาษาเป็นภาษา ลำดับที่หนึ่ง ทฤษฎีบท ของ โลเวนไฮม์-สโกเลม จะรับประกันการมีอยู่ของแบบจำลองที่ไม่เป็นมาตรฐาน แบบจำลองที่ไม่เป็นมาตรฐานเหล่านี้สามารถเลือกได้ว่าเป็น ส่วนขยายพื้นฐาน หรือ โครงสร้างย่อยพื้นฐาน ของแบบจำลองที่ต้องการ

ความสำคัญ

แบบจำลองที่ไม่เป็นมาตรฐานนั้นได้รับการศึกษาใน ทฤษฎีเซต การ วิเคราะห์ที่ไม่เป็นมาตรฐาน และ แบบจำลองที่ไม่เป็นมาตรฐานของ เลขคณิต

ดูเพิ่มเติม

การตีความ (ตรรกศาสตร์) ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Non-standard_model&oldid=1287652263 "