[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
57
(4): 2019/12/24(火)10:10 ID:u6yGTjeG(1) AAS
>>55
>いや、極限と定義するなら位相を定義しないと。
>そのためにはまずZermelo順序数のなす集合を定義しないといけなくなって定義が循環します。

なんか極限分かってない?
極限をいうためには、有限部分の定義だけで済む

Zermelo順序数の有限部分の定義は明白
(というか、Zermeloに限らず、様々な後者関数で定義可能)

有限部分の定義から、極限 lim n→∞ suc(n) が出るよ

確かに、n→∞の部分で下手すると循環論法だが
しかし、公理的な構成という枠を外せば(つまり、”∞”の構成が別の手段で終わった後で)

いろんな後者関数の極限が定義できる
数学として普通だよ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.028s