算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。それに対し、通常の自然数 N {\displaystyle \mathbb {N} } は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 N {\displaystyle \mathbb {N} } と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
存在

算術の超準モデルの存在を証明する方法はいくつか存在する。
コンパクト性定理による方法

コンパクト性定理を用いて超準モデルの存在を示すことができる。証明の概略は、 c {\displaystyle c} を新たな定数として、ペアノの公理系 P A {\displaystyle \mathrm {PA} } に { n < c : n = 1 , 2 , 3 , . . . } {\displaystyle \{n<c:n=1,2,3,...\}} という形の無限個の公理を付け加えた公理系 P A ∗ {\displaystyle \mathrm {PA} ^{\ast }} を考え、コンパクト性定理により P A ∗ {\displaystyle \mathrm {PA} ^{\ast }} を満たすモデル N ∗ {\displaystyle \mathbb {N} ^{\ast }} の存在を示すというものである[1]。 P A ∗ {\displaystyle \mathrm {PA} ^{\ast }} はペアノの公理系を拡張したものであるため、当然ペアノの公理を満たしている。また通常の自然数では定数 c {\displaystyle c} をいかように解釈しても P A ∗ {\displaystyle \mathrm {PA} ^{\ast }} を満たすようにはできないため、 c {\displaystyle c} は超準数であり、 N ∗ {\displaystyle \mathbb {N} ^{\ast }} は超準モデルとなる。

P A ∗ {\displaystyle \mathrm {PA} ^{\ast }} にコンパクト性定理を適用するには、その任意の有限部分 T {\displaystyle T} がモデルを持つことを示せばよい。 T {\displaystyle T} は P A {\displaystyle \mathrm {PA} } の部分集合に n 1 < c , n 2 < c , … , n m < c {\displaystyle n_{1}<c,n_{2}<c,\ldots ,n_{m}<c} （ n 1 < n 2 < ⋯ < n m {\displaystyle n_{1}<n_{2}<\cdots <n_{m}} ）という有限個の公理を付け加えた形をしているため、 c {\displaystyle c} の解釈を n m + 1 {\displaystyle n_{m}+1} と定めれば、自然数 N {\displaystyle \mathbb {N} } が T {\displaystyle T} のモデルになっていることが言える。
ゲーデルの不完全性定理による方法

不完全性定理により、標準モデルでは真であるがペアノの公理系においては決定不能であるような文（ゲーデル文） G {\displaystyle G} が存在する。このとき、完全性定理より、ペアノの公理系 P A {\displaystyle \mathrm {PA} } に ¬ G {\displaystyle \lnot G} を加えた公理系にモデルが存在する。標準モデルで G {\displaystyle G} は真なので、このモデルは超準モデルでなければいけない。このように、 ¬ G {\displaystyle \lnot G} を満たすことは、そのモデルが超準的である為の十分条件となる。しかし、これは必要条件ではない。いかなるゲーデル文 G {\displaystyle G} に対しても、 G {\displaystyle G} が真であるようなあらゆる濃度のモデルが存在する。

算術が無矛盾であると仮定すれば、算術に ¬ G {\displaystyle \lnot G} を付け加えたものもまた無矛盾である。しかし、 ¬ G {\displaystyle \lnot G} は算術が矛盾していることを意味するのだから、結果得られた算術の体系は ω-無矛盾にはならない（なぜなら、 ¬ G {\displaystyle \lnot G} は偽であり、したがって ω-無矛盾性に反する）。
超積による方法

算術の超準モデルを構成するもうひとつの方法は超積に基づくものである。典型的な構成では自然数列全体の成す集合 N N {\displaystyle \mathbb {N} ^{\mathbb {N} }} を用いる。2つの列が同一視されるのは、それらがある固定された非単項超フィルターに属す添字集合の上で一致するときである。このようにして得られた半環は算術の超準モデルとなる。これは超自然数と同一視出来る。
可算超準モデルの構造

超積モデルは非可算となることが知られている。このことを見るには N {\displaystyle \mathbb {N} } の無限直積から超積モデルへの単射を構成すればよい。他方でレーヴェンハイム-スコーレムの定理により、算術の可算な超準モデルが存在しなければならない。構成法の一つとしてヘンキン構成を用いた方法がある。

・定理

算術の超準モデルの順序構造は、ある端点を持たない稠密全順序集合 Q {\displaystyle {\mathcal {Q}}} を用いて、 N ⊕ Z × Q {\displaystyle \mathbb {N} \oplus \mathbb {Z} \times {\mathcal {Q}}} と表せる。

特に、可算超準モデルの場合、上の表示において、 Q {\displaystyle {\mathcal {Q}}} は可算となるので、端点を持たない稠密全順序の理論（DLO）の可算範疇性より、 Q {\displaystyle {\mathcal {Q}}} は Q {\displaystyle \mathbb {Q} } と同型となる。したがって可算超準モデルの順序構造は N ⊕ Z × Q {\displaystyle \mathbb {N} \oplus \mathbb {Z} \times \mathbb {Q} } と表せる。