算術の超準モデル
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/21 01:06 UTC 版)
算術の超準モデル(さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic)とは、(一階)ペアノ算術のモデルのうち、通常の自然数ではない元(超準数)を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
- 1 算術の超準モデルとは
- 2 算術の超準モデルの概要
- 3 脚注
- 算術の超準モデルのページへのリンク