[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
679(1): １３２人目の素数さん [] 2018/12/31(月) 07:10:38.15 ID:h9L92WO7(1/30) AAS
>>677
>１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
>この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
>要するに、些末な順序の議論を避けるために、上記１）〜４）は順不同としよう。
上記の３）、４）の代わりに
５）同値類の代表元の存在
が必要
代表元が存在すれば決定番号（自然数）は存在する
これは同値関係の定義から明らか
スレ主は記事中の同値関係の定義の文章 読んでないのか？
701(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/31(月) 08:24:18.77 ID:PWZHndJJ(5/14) AAS
>>679
> ５）同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
とします
なお、５）決定番号が自然数は自明だが、念のため追加しただけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s