Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
110: 08/24(日)12:15:09.52 ID:rTm6xTpy(4/11) AAS
>>102
>ツェルメロの公理的集合論ではこの矛盾をなくすために
>「集合とはものの集まり」と考えるのをやめた
>例えば
>「ある性質を満たす集合全体の集まりは集合である」（内包公理）をやめて
>「集合の集合の中で、ある性質を満たす集合全体の集まりは集合である」（分出公理）とした
例えばというか、内包公理から分出公理への置き換えそのものだね。
省7
163(2): 08/25(月)13:06:30.52 ID:O3poJvHG(3/8) AAS
数学的に有限（多くは１）ステップを勝手に無限ステップと妄想してるだけ
そんな妄想してりゃ大学一年四月に授業についていけず落ちこぼれるのも無理は無い
571(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)15:20:04.52 ID:lylF2dxQ(8/10) AAS
>>566-567 補足
１）未確認飛行 Cさんで 1つ無限集合 a を選び
a の「冪集合」P (a)で を作るところが面白い*)
つまり 無限公理 ∃a(∅∈a∧∀x(x∈a⇒(x∪{x})∈a)).（下記無限公理の集合Iをaに書き換えた）
だから、aは 帰納的な元の全てを含むので
例えば a={0,1,2,・・・,ω,S1,S2・・} （ここにω,S1,S2・・は無限順序数を表す>>566 ご参照）
などだが
省15
685(1): 09/02(火)18:02:32.52 ID:0UkiWhPy(7/11) AAS
>>683
>日常の数学の下にカジュアル集合論があり、その下に 公理的集合論がある
公理的集合論は理解できないので下の方に追いやりたいってことですね？ｗ
> 三階建で、3階が日常の数学、2階がカジュアル集合論、1階が公理的集合論だ
カジュアル集合論ｗ いかにもトンデモが言いそうなトンデモワードｗ
>日常の数学で 何か無限操作を考えるとき
well-defined でないから考えない。
805(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:54:54.52 ID:JgP2aXhR(14/14) AAS
>>802
(引用開始)
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
＞Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
(引用終り)
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s