在数理逻辑里，令"T" 是在集合论的语言中的一个理论。若"M" 是formula_2 描述集合论的一个模型，且"N" 是"M" 中的一个类，能使得为"T"包含了所有"M"的序数的模型，则称"N" 为"T"（在"M" 内）的内模型通常，此类模型会是冯·诺伊曼全集"V" 的传递子集，或有时会为"V" 的通集扩张。集合论的模型称之为标准的，若此模型的元素关系是侷限于此模型中的真实元素关系。模型称之为传递的，若其为标准的，且之中的基础类为集合中的传递类。集合论的模型通常假定为传递的，除非明确指明其为非标