17/09/28 08:10:12.15 11GivwC6.net
>>622
ピエロ、馬脚だな(^^
無限、極限、数学的帰納法、全てにわたって理解が浅いね
>そしてNは無限公理を満たすが、N~は無限公理を満たさない
「N~は無限公理を満たさない」って、それ認識が間違っているように思うよ。(^^
下記、”超実数”だが、無限公理を含むZFC上の理論とあるぜ(^^
URLリンク(ja.wikipedia.org)
超実数
(抜粋)
超冪による構成
ここで一つの疑問が出てくる。それは U とは違う自由超フィルター V を選んだら、その商 A/V は A/U に同型かどうかということだ。
この疑問は、連続体仮説と同等であるということがわかっている。ZFC と連続体仮説を仮定したうえで、これらの体は順序同型で一意的であるということが証明できる。
ZFC と連続体仮説の否定を仮定したうえで、それぞれ可算に添字付けられた実数の超冪で、順序非同型な体のペアが存在することを証明できる。
<和文と同じ箇所>
URLリンク(en.wikipedia.org)
Hyperreal number
(抜粋)
The ultrapower construction
One question we might ask is whether, if we had chosen a different free ultrafilter V, the quotient field A/U would be isomorphic as an ordered field to A/V.
This question turns out to be equivalent to the continuum hypothesis; in ZFC with the continuum hypothesis we can prove this field is unique up to order isomorphism,
and in ZFC with the negation of continuum hypothesis we can prove that there are non-order-isomorphic pairs of fields that are both countably indexed ultrapowers of the reals.
(引用終り)
>∞+1は、N~の要素でないので、数学的帰納法を満たさない
意味不明の妄想おつ。
普通の数学的帰納法は、あくまで自然数Nの範囲の話だよ(後述)