25/01/15 16:53:56.13 zEkLeAcw.net
>>26
あのね
５を自然数の定義（の一部）としてもよいし、定義をもっと緩めて５を定理として証明してもよい
分かるかなぁｗ
前者はちょっと野暮というかチートというか公理として盛り過ぎ感がある
29:１３２人目の素数さん
25/01/15 16:56:51.14 zEkLeAcw.net
なんでもかんでも公理にしたがるのはなんだかなぁって感じがする
30:１３２人目の素数さん
25/01/15 17:08:16.28 Rq94sFo4.net
凍り付く
31:１３２人目の素数さん
25/01/15 17:53:21.12 qUSw1+TD.net
自然数ていうかωは順序数作っていって最初の無限順序数でしょ
そっから帰納法が証明される
32:１３２人目の素数さん
25/01/15 17:53:49.72 qUSw1+TD.net
と問うように超限帰納法も
33:１３２人目の素数さん
25/01/15 18:56:10.00 oouvkka/.net
「構成された具体的対象が性質Pをみたす」というのは定理
「既存の公理と独立な性質P」は公理
「一般線形群が群である」というのは定理
群の性質は公理
34:１３２人目の素数さん
25/01/15 19:17:29.07 gKWqjn1C.net
「数学的帰納法が成り立つという性質」は公理
「構成した具体的対象に対して数学的帰納法が成り立つ」というのは定理
35:１３２人目の素数さん
25/01/16 08:29:45.79 zwsaqHyZ.net
>>14
否定が絡んでないじゃん
36:１３２人目の素数さん
25/01/16 09:15:10.76 19Yy+UoQ.net
>>26
>５を自然数の定義（の一部）としてもよいし
「としてもよい」ではなく自然数の定義という公理
>（５は）ちょっと野暮というかチートというか公理として盛り過ぎ感がある
君が自然数論の初歩から分かってないだけ 君、大学行ってないド素人？
37:１３２人目の素数さん
25/01/16 09:16:44.22 19Yy+UoQ.net
>>26
> 定義をもっと緩めて５を定理として証明してもよい
証明できるもんなら証明して見せてくれる？
さあ、どうぞ！！！ 大言壮語のド素人君
38:１３２人目の素数さん
25/01/16 09:22:51.92 km3PZwlO.net
>>33
>群の性質は公理
>「一般線形群が群である」というのは定理
一般線形群の集合と積演算が群の公理の前提を満たす、
というのは、群の公理とは無関係に示される定理
だから、一般線形群が群である、というのは
”群の公理から導かれる”定理
>「構成された具体的対象が性質Pをみたす」というのは定理
>「既存の公理と独立な性質P」は公理
正確には
「性質Pを満たす●●を○○とする」が公理
「構成された具体的対象●●が性質Pをみたす」は上記の公理とは無関係に示される定理
「だから●●は○○である」が上記の公理によって示される定理
わかってるか？ ド素人
39:１３２人目の素数さん
25/01/16 09:24:56.94 LFcdKMtz.net
>>38
ある対象が群であることが群の公理から導かれるわけないじゃん
なにかの誤記？
40:１３２人目の素数さん
25/01/16 09:27:11.01 Ki849x9Z.net
>「数学的帰納法が成り立つという性質」は公理
>「構成した具体的対象に対して数学的帰納法が成り立つ」というのは定理
正確には
”数学的帰納法”「性質Pが前提・・・を満たせば結論”任意の自然数nが性質Pを満たす”」が公理
「性質Pが数学的帰納法の前提を満たす」が上記の公理とは無関係に示される定理
「だからPは数学的帰納法の結論”任意のnについて満たす”といえる」が上記の公理”数学的帰納法”によって示される定理
わかってるか？ ド素人
41:１３２人目の素数さん
25/01/16 09:28:59.00 Ki849x9Z.net
> ある対象が群であることが群の公理から導かれるわけないじゃん
ある対象が群であることは群の公理の前提として示された諸条件を満たすことによって
「群の公理の前提を満たせば群である」という公理から導かれる
論理わかってるか？ ド素人
42:１３２人目の素数さん
25/01/16 09:30:05.39 LFcdKMtz.net
>>41
つまり間違いってことね
43:１３２人目の素数さん
25/01/16 09:30:53.05 Ki849x9Z.net
>>42
そう、君一匹がね ド素人
44:１３２人目の素数さん
25/01/16 09:43:32.41 vCuZ5+5N.net
現代数学の外道と仲間たち
45:１３２人目の素数さん
25/01/16 10:15:30.37 Z4Hc/jEJ.net
朝から元気だなぁ
46:１３２人目の素数さん
25/01/16 10:29:00.99 XqwwUxYJ.net
>>45
夜は早く寝る
夜更かしすると馬鹿になる
47:１３２人目の素数さん
25/02/14 23:27:56.51 h18EuVCZ.net
ｽﾚﾘﾝｸ(pachi板)
48:もうやめてくれと泣き叫ぶ埼玉ゴキブリ糞ワロタ♪
25/02/14 23:29:52.81 66L52kE0.net
ｽﾚﾘﾝｸ(jfoods板)
26やめられない名無しさん 警備員[Lv.3][臭臭臭] 2024/12/26(木) 01:09:37.31SLIP:ﾜｯﾁｮｲ 240b:c020:432:58ee:*ID:9zgSUDef0
なんで毎日体を洗っているオレ様が臭いことになるんでちゅか～？ ←糞尿を漏らしてマジレス発狂大号泣♪ｗｗｗｗｗｗｗｗ
↑埼玉の公衆便所に住む究極悪臭豚賤人糞尿食いゴキブリ梶谷こういちの究極悪臭炸裂きたあああああああ♪っｗｗｗｗｗｗ
う～～～～っわっ！♪くっさくさくさくっさあああああ～～～～～い♪ｗｗくっっせぇええええ～～～～♪♪ｗｗっｗｗｗｗｗっ
全板にスレを立て続ける根性もなく糞尿を漏らして泣き叫んで敗走したクソ雑魚究極悪臭豚賤人糞尿食いゴキブリ超絶くっっっっそクッッッッッッソワロタ♪ｗｗｗｗｗ
全スレにレスまだ～？♪はよ～♪はよ～♪はよ～♪死んだ？♪死んだ？♪死んだの？♪ｗｗｗっｗｗｗ
＿＿＿_
／_ノ ヽ､_＼
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ ＜ぎゃあああはははｈああはあｈｆｄさｋだｓｋふぉ；だ！！！！！！！♪ｗｗｗｗｗｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー’´ ヽ / ／ｗ
| | l||l 从人 l||l l||l 从人 l||l バンバン！！！！！ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
ヽ -一””””~~｀`’ー–､ -一”””’ー-､
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
糞雑魚の負け犬究極悪臭豚賤人糞尿食いゴキブリ梶谷こういち＝どんぐりネーム「どんぶりプランナー」完全死亡クッソワロタ♪ｗｗｗｗｗｗｗｗｗｗ
ぎゃははははは(*^_^*)♪♪♪♪♪🌈🤡🎃☠😂😂😂♪ｗｗｗｗ ｗｗ ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ