|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 算術 : [さんじゅつ] (n) arithmetic ・ 術 : [すべ] 【名詞】 1. way 2. method 3. means ・ 超 : [ちょう] 1. (n,n-suf,pref) super- 2. ultra- 3. hyper- ・ 準 : [じゅん] 1. (n,pref) level 2. apply correspondingly 3. correspond to 4. being proportionate to 5. conforming to 6. semi 7. quasi 8. associate 9. standard 10. rule 1 1. aim
算術の超準モデルとは、(一階)ペアノ算術のモデルのうち、通常の自然数ではない要素(超準数)を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。 ==存在== 算術の超準モデルの存在を証明する方法はいくつか存在する。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「算術の超準モデル」の詳細全文を読む スポンサード リンク
|