翻訳と辞書 Words near each other ・ 算盤高い ・ 算程 ・ 算立 ・ 算籌 ・ 算置 ・ 算置き ・ 算術 ・ 算術 (書物) ・ 算術の基本定理 ・ 算術の基礎 ・ 算術の超準モデル ・ 算術オーバフロー ・ 算術オーバーフロー ・ 算術入門 ・ 算術函数 ・ 算術平均 ・ 算術幾何平均 ・ 算術数列 ・ 算術的函数 ・ 算術的関数 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 算術の超準モデル ： ウィキペディア日本語版 算術の超準モデル[さんじゅつのちょうじゅんもでる] 算術の超準モデルとは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない要素（超準数）を含むようなモデルのことである。それに対し、通常の自然数 $\backslash mathbb$ は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、$\backslash mathbb$と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。 ==存在== 算術の超準モデルの存在を証明する方法はいくつか存在する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「算術の超準モデル」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.