算術の超準モデル
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。 それに対し、通常の自然数 N {\displaystyle \mathbb {N} } は算術の標準モデルと呼ばれる。
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。 それに対し、通常の自然数 N {\displaystyle \mathbb {N} } は算術の標準モデルと呼ばれる。
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。 それに対し、通常の自然数 N {\displaystyle \mathbb {N} } は算術の標準モデルと呼ばれる。
出典: Wikipedia「算術の超準モデル」 · CC BY-SA 4.0
この記事を共有: X · Bluesky