內模型 在數理邏輯裡令T 是在集合論的語言 L     displaystyle Llangle in rangle  中的一個理論 若M 是 L displaystyle L 描述集合論的一個模型且N 是M 中的一個類能使得  N   M    displaystyle langle Nin Mldots rangle  為T包含了所有M的序數的模型則稱N 為T在M 內的內模型通常此類模型會是馮諾伊曼全集V 的傳遞子集或有時會為V 的通集擴張 集合論的模型稱之為標準的若此模型的元素關係是侷限於此模型中的真實元素關係模型稱之為傳遞的若其為標準的且之中的基礎類為集合中的傳遞類集合論的模型通常假定為傳遞的除非明確指明其為非標準的內模型是傳遞的傳遞模型是標準的而標準模型則是良基的 假定存在一個ZFC 的標準模型要比假定存在一個模型來得強實際上若存在一個標準模型則會存在一個包含於所有標準模型中的最小標準模型稱之為最小模型