标准模型
非标准模型在集论、非标准分析，以及非标准算术模型中有所研究。