非標準模型

在數理邏輯的模型論中，稱某理論的模型為非標準模型（英語：Non-standard model），如果它與預期模型（或稱標準模型）不同構。如果預期模型是無限的, 且使用的語言是一階的，則非標準模型的存在性由勒文海姆–斯科倫定理保證。非標準模型可被選為預期模型的初等擴張或初等子結構。

非標準模型在集論、非標準分析，以及非標準算術模型中有所研究。