算術の超準モデル
算術の超準モデル () とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。それに対し、通常の自然数 formula_1 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、formula_1 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。