ในทฤษฎีเซตทฤษฎีแบบจำลองภายในคือการศึกษาแบบจำลอง บางอย่าง ของZFCหรือส่วนย่อยหรือการเสริมความแข็งแกร่งของ ZFC โดยทั่วไปแบบจำลองเหล่านี้คือเซตย่อย หรือคลาสย่อยแบบ ทรานซิทีฟ ของเอกภพฟอนนอยมันน์Vหรือบางครั้งก็เป็นส่วนขยายทั่วไปของVทฤษฎีแบบจำลองภายในศึกษาความสัมพันธ์ของแบบจำลองเหล่านี้กับความแน่นอน จำนวนเชิงคาร์ดินัลขนาดใหญ่และทฤษฎีเซตเชิงพรรณนา แม้จะมีชื่อว่าทฤษฎีแบบจำลอง ภายใน แต่ก็ถือว่าเป็นสาขาหนึ่งของทฤษฎีเซตมากกว่าทฤษฎีแบบจำลอง

• คลาสของเซตทั้งหมดเป็นแบบจำลองภายในที่บรรจุแบบจำลองภายในอื่นๆ ทั้งหมดไว้ภายใน
• ตัวอย่างแรกที่ไม่ใช่แบบธรรมดาของแบบจำลองภายในคือเอกภพที่สร้างได้Lที่พัฒนาโดยเคิร์ท เกอเดล แบบจำลอง Mทุกแบบของ ZF มีแบบจำลองภายในL ^Mที่สอดคล้องกับสัจพจน์ของการสร้างได้และนี่จะเป็นแบบจำลองภายในที่เล็กที่สุดของM ที่ประกอบด้วย ลำดับทั้งหมดของMโดยไม่คำนึงถึงคุณสมบัติของแบบจำลองดั้งเดิมL ^Mจะสอดคล้องกับสมมติฐานความต่อเนื่องทั่วไปและสัจพจน์เชิงการจัดเรียง เช่นหลักการเพชร ◊
• HOD ซึ่งเป็นกลุ่มของเซตที่สามารถกำหนดลำดับได้แบบสืบทอดก่อให้เกิดแบบจำลองภายในซึ่งสอดคล้องกับ ZFC
• เซตที่สามารถกำหนดได้โดยกรรมพันธุ์เหนือลำดับเชิงอันดับนับได้นั้นก่อให้เกิดแบบจำลองภายใน ซึ่งใช้ในทฤษฎีบทของโซโลเวย์
• L(R)ซึ่งเป็นแบบจำลองภายในที่เล็กที่สุดที่ประกอบด้วยจำนวนจริงทั้งหมดและจำนวนเชิงอันดับทั้งหมด
• L[ U ] คือคลาสที่สร้างขึ้นโดยสัมพันธ์กับอัลตราฟิลเตอร์U ปกติที่ไม่ใช่หลักและ สมบูรณ์แบบเหนือลำดับ(ดูเครื่องหมายกริชศูนย์ )${\displaystyle \kappa }$${\displaystyle \kappa }$

การใช้งานที่สำคัญอย่างหนึ่งของแบบจำลองภายในคือการพิสูจน์ผลลัพธ์ ที่สอดคล้องกัน หากสามารถแสดงได้ว่าแบบจำลองทุกแบบของสัจพจน์Aมีแบบจำลองภายในที่สอดคล้องกับสัจพจน์Bแล้ว หากAสอดคล้องกันBก็ต้องสอดคล้องกันด้วย การวิเคราะห์นี้มีประโยชน์มากที่สุดเมื่อAเป็นสัจพจน์ที่ไม่ขึ้นกับ ZFC เช่นสัจพจน์จำนวนเชิงคาร์ดินัลขนาดใหญ่และเป็นหนึ่งในเครื่องมือที่ใช้ในการจัดอันดับสัจพจน์ตามความแข็งแกร่งของความสอดคล้องกัน

• แบบจำลองหลัก
• แบบจำลองภายใน