25/06/15 09:23:40.59 lv2xCBEK.net
>>980 訂正
ただしここでAは無限公理により存在する集合を任意に選んだものである。（注：”任意に選んだ”は誤。正しくは最小のもの（あるいは、無限集合の共通部分））
↓
ただしここでAは無限公理により存在する集合を任意に選んだものである。
注
その前の記述で 積∩を取っているから もとの記述で足りているね
1013:１３２人目の素数さん
25/06/15 09:35:35.18 Eap/oGjV.net
>>981
>ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？
どうやったらそんなアホな誤読ができるの？
1014:１３２人目の素数さん
25/06/15 09:40:15.12 LXFVxBju.net
論文を査読されたことがない人の言葉
1015:１３２人目の素数さん
25/06/15 09:55:43.76 Eap/oGjV.net
>>981
>数学的帰納法で可能な 任意有限の自然数が構成できて
はい、大間違い。
数学的帰納法は自然数が持つべき性質であるとペアノの公理で規定されている。
つまり君は「自然数を使って自然数を構成する」と言ってることになり、それは堂々巡り。
>出来上がった 無限集合を 我々は 自然数Nと呼ぶ
呼ぶのは勝手だが、構成した集合が自然数の定義であるところのペアノの公理を満たしていることの証明が必要。
分かってる風に語らない方が良いよ。恥かくだけだから。
1016:１３２人目の素数さん
25/06/15 09:58:53.12 LXFVxBju.net
>数学的帰納法は自然数が持つべき性質であるとペアノの公理で規定されている。
これが物事の正しい順序であることは
ペアの公理と無関係とも限らない
1017:１３２人目の素数さん
25/06/15 10:03:20.63 Eap/oGjV.net
>>981
>あるいは、無限集合の共通部分
これも間違い。
正しくは「無限公理が存在を主張する集合全体の集合の共通部分」
1018:１３２人目の素数さん
25/06/15 10:07:26.45 LXFVxBju.net
>無限公理が存在を主張する集合全体
無限公理が存在を主張する集合全体？
1019:１３２人目の素数さん
25/06/15 10:09:17.17 Eap/oGjV.net
>>981
>ZFC公理系で ノイマン構成の後者関数が定義できて
これも大間違い。
自然数の構成にそんな関数は不要。>>987の通り。
1020:１３２人目の素数さん
25/06/15 10:12:13.78 Eap/oGjV.net
>>988
日本語不自由？ なんでそんなところで切るの？
例えば「自然数全体の集合」とは任意の自然数を元として持つ集合のことだろ？
1021:１３２人目の素数さん
25/06/15 10:17:46.33 Eap/oGjV.net
>例えば「自然数全体の集合」とは任意の自然数を元として持つ集合のことだろ？
より正確には
任意の自然数を元として持ち、それ以外の元を持たない集合
だな
1022:１３２人目の素数さん
25/06/15 10:21:55.43 Eap/oGjV.net
>>988
つまり
「無限公理が存在を主張する集合全体の集合」
とは、無限公理が存在を主張する集合のあつまりであるところの集合族のことな
1023:１３２人目の素数さん
25/06/15 10:32:09.85 Eap/oGjV.net
>>967-968
ペアノの公理は自然数の定義であって命題ではない。命題でないから当然公理（＝証明無しに真と認める命題）ではない。公理という呼称に惑わされたらダメ。
公理ではないからZFC公理系に追加するだのしないだのは意味を為さない。
1024:１３２人目の素数さん
25/06/15 10:50:21.72 Eap/oGjV.net
まあチンプンカンプンだろうねｗ
私が言ってることを理解したくば、「無限公理が存在を主張する集合全体の集合の共通部分」がペアノの公理を満たしていることの証明を理解することだな
急がば回れ 数学に王道無し
1025:１３２人目の素数さん
25/06/15 10:56:05.43 THeA5+tT.net
次スレ
Inter-universal geometry とABC 予想58
URLﾘﾝｸ(itest.5ch.net)
1026:１３２人目の素数さん
25/06/15 11:10:30.76 .net
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
1027:１３２人目の素数さん
25/06/15 11:10:38.16 .net
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
1028:１３２人目の素数さん
25/06/15 11:10:44.90 .net
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
1029:１３２人目の素数さん
25/06/15 11:11:24.07 .net
>>794
この中卒無職(小中学校不登校でお情け郵送卒業証書)ヤバすぎる
義務教育で習う背理法を理解しておらず
物理学の全く無関係な概念を背理法と勘違いしてコピペしまくり
義務教育すら受けてないことを自白しまくってる
義務教育受けてないとかバレたら自殺するだろ
恥ずかしすぎるだろ
1030:１３２人目の素数さん
25/06/15 11:11:35.51 .net
>>794
この中卒無職(小中学校不登校でお情け郵送卒業証書)ヤバすぎる
義務教育で習う背理法を理解しておらず
物理学の全く無関係な概念を背理法と勘違いしてコピペしまくり
義務教育すら受けてないことを自白しまくってる
義務教育受けてないとかバレたら自殺するだろ
恥ずかしすぎるだろ
1031:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 309日 19時間 3分 12秒
1032:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています