非標準モデルJJapedia 編集部|更新日: 2026年7月30日数理論理学の一分野であるモデル理論において、非標準モデルとは、意図されたモデル（または標準モデル）と同型ではない理論のモデルのことである。[ 1 ]存在意図するモデルが無限であり、言語が一階述語論理である場合、レーヴェンハイム・スコレムの定理は非標準モデルの存在を保証する。非標準モデルは、意図するモデルの基本拡張または基本部分構造として選択することができる。重要性非標準モデルは、集合論、非標準解析、および算術の非標準モデルにおいて研究されている。関連項目解釈（論理）参考文献↑ Roman Kossak、2004年算術と集合論の非標準モデルアメリカ数学会。カテゴリー：数学的論理スタブモデル理論非表示のカテゴリ:短い説明付きの記事短い説明はWikidataとは異なりますすべてのスタブ記事関連するトピック関連数理論理学関連モデル理論関連意図されたモデル関連同型で
