[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
75: ID:1lEWVa2s 2019/10/05(土)16:26:46.74 ID:ldsFcLYg(1) AAS
この話すると怖いから
242(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)20:36:49.74 ID:JCH5uyU5(5/7) AAS
>>236-237
そもそも、>>235って、論点ずれていると思うよ
>>236-237に引用したように
1)そもそも、無限にもいろいろありましてw
無限を扱う公理の強さによって、多種の無限が生じ、区別ができないこともある
2)その中で、ZFCのフルパワー選択公理を採用すれば
デデキント無限などで、可算無限は、一意に決まるのです(整列可能定理でもありますし)
省15
247: 2019/10/10(木)23:14:56.74 ID:64e05J/b(5/5) AAS
これは>>245さんが正しいね
> (Thus, this infinite set must contain ∅, {∅}, {{∅}}, ….)
>The natural numbers are represented by Zermelo as by ∅, {∅}, {{∅}}, …,
>and the Axiom of Infinity gives us a set of these.
この文章は
{∅, {∅}, {{∅}}, …, }
という集合が存在することが無限公理から証明できるという意味にしか取れないね。
441: 2019/10/19(土)15:25:08.74 ID:EHt0GXrI(1) AAS
スレ主、時枝問題、集合論で敗走を重ね、今ガロア理論で凹られ中w
740(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:31:27.74 ID:s6Tab8iq(10/15) AAS
>>739
>”「集合のいかなる∈列も有限長で終わる」
じゃ、>>728の
<ノイマン構成>
0,1,2,3,・・・たちを集合として見て
可算無限長の上昇列
0∈1∈2∈3∈4∈…
省3
898: 2019/12/19(木)19:14:42.74 ID:vUsZDapA(5/7) AAS
>>895
>だから正則性公理は、無限降下列で捉えるよりも、
>∈に関する最小元の存在で捉えた方が良いと思うぜ(^^
なんで◆e.a0E5TtKEは正確に整礎の定義を覚えられないのかな
記憶能力もない白痴かな?www
「集合X 上の二項関係 R が整礎であるとは、
X の空でない任意の部分集合 S が
省9
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.034s