なぜ、ZFC公理まで遡らなくても数学が出来るの?at MATH
なぜ、ZFC公理まで遡らなくても数学が出来るの? - 暇つぶし2ch1035:現代数学の守護天使 
24/12/23 05:37:41.71 yCath8Ii.net
>・・・は、御大か
 大学教授が言ったから正しい、という公理はない

1036:132人目の素数さん
24/12/23 05:42:04.95 8VHb1+yB.net
>御大とかいう人{}∈{{{}}}は間違いだと言わないね
>さては正しいと思ってるのか
>馬鹿w

一度指摘した。
繰り返したほうがよかったか?

1037:現代数学の守護天使  ◆0t25ybzgvEX5
24/12/23 05:49:05.89 yCath8Ii.net
>>983 指摘した投稿の番号を書いて それ以外は全てウソをついた判定

1038:現代数学の守護天使 
24/12/23 05:58:57.65 yCath8Ii.net
「御大」の書き込みは>>756
つまり「御大」は童貞を一刀両断で斬って捨てた
童貞、「御大」に裏切られる

童貞 死す!

1039:132人目の素数さん
24/12/23 06:06:01.33 8VHb1+yB.net
>>984
そんなもの記録していないから
最初から探したので大変手間取った。

番号は753

1040:132人目の素数さん
24/12/23 06:48:34.43 dEKX9mQu.net
>>290
(横からレスでスマソ)
289です。
思わぬまとめのレスを
ありがとうございました。
遅ればせながらお礼まで。

スレ主にも感謝。
>>1以外に、どこかに書き込みしているのやらまったく分かりませんが。
個人的には、基礎論の情報収集の参考になりました。

1041:現代数学の系譜 雑談
24/12/23 07:24:04.30 moCfr63a.net
>>987
コメントご苦労さまです
 >>290を書いた ”1でなく>>13から”の者です
 >>290を書いたときは、PCが使えない場所からスマホで投稿しました

>個人的には、基礎論の情報収集の参考になりました。

コメントご苦労さまです
スレ主>>1さんのご納得頂ける解答が得られたかどうか?

もう一度まとめておくと、ZFCは地下の基礎論の部分でして
多くの地上の数学(>>290)を支えていることは間違いない

しかし、ZFCの中では地上の数学をやるには、全く不便
ZFCの中では、普段の言葉は一切禁止ですから (^^

例えば、円周率πの近似3.14を表現するには、ZFCでは下記のようになる
{Φ, {Φ}, {Φ, {Φ}}} . {Φ} {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}} となる

おっと、小数点 ”. ”が未定義でしたねw
だが、地上の数学を、地下のZFCの中でやる必要は全くないってことです

これが、>>1に対する私の回答です
が、繰り返すが、ZFCが地上の数学の基礎になっていることは確かです

(参考)
ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
ツェルメロ=フレンケル集合論(英: Zermelo-Fraenkel set theory)
7. 無限公理
最初のフォン・ノイマン順序数
0 = {} =Φ
1 = {0} = {Φ}
2 = {0, 1} = {Φ, {Φ}}
3 = {0, 1, 2} = {Φ, {Φ}, {Φ, {Φ}}}
4 = {0, 1, 2, 3} = {Φ, {Φ}, {Φ, {Φ}}, {Φ, {Φ}, {Φ, {Φ}}}}

1042:現代数学の系譜 雑談
24/12/23 07:24:35.87 moCfr63a.net
>>983 &>>986

>>御大とかいう人{}∈{{{}}}は間違いだと言わないね
>>さては正しいと思ってるのか
>>馬鹿w
>一度指摘した。
>繰り返したほうがよかったか?
>番号は753

では私も、3つ番号をば、721、742、743
この3つで、『{}∈{{{}}}』について、個別に真だの偽だのを論じたことはない
おサルさんたちが、自分たちの言い逃れのため、ヤクザのインネンを付けてきているだけのことよ
めんどう臭いから、スルーしていますw (^^

 >>721より
(引用開始)
正則性公理は ”∈-induction”と関係していて
ZFC内の全ての集合について”∈-”による整礎関係を与え、
∈に関する整礎帰納法である”∈-induction”の適用を可能とする
全順序とか余計な一言を書いたせいで大恥かいたな 高卒童貞

正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
>正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え
は大間違い
(引用終り)

”無茶苦茶でござりまする”w ;p)(下記)
基礎論婆は、所詮この程度よww
基礎論自慢だが、大したことないwww
大局観が欠落しているヘボ碁だよ ;p)

要するに、『"∈"が"<"と同じ役割をして』ってところが肝です
そして、整楚はもともと、正則性定理に含意されている。だから、ヘンテコな式とは関係無い話です ;p)
(引用終り)

 >>742より
おサルさんの失敗・失言語録として
収録しますw ;p)
数学科で、順序関係から 落ちコボレさんかよ、オイオイw ;p)

(参考)
>>686 2024/12/18(水) 12:15:24.65ID:Qg6qEuwg
(引用開始)
正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない
実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。

>正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え
は大間違い
(引用終り)

 >>743より
>実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
>>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え

補足しておこう
1)ZFC内の集合は、
 全て空集合Φ={}から、組み立てられている
2)ある集合A={a}があったとする
 {a}から、{}をとると aになる。aもまた、空集合Φ={}から、組み立てられている
 ”{}をとる”という操作を繰り返すと、最後は空集合Φ={}に行き着く
3)”{}をとる”という操作は、”∈-”の関係に翻訳できる
 ”∈-”の関係を辿ると、最後は空集合Φ={}に行き着くってこと
(引用終り)

1043:132人目の素数さん
24/12/23 07:43:52.36 0GcedQpv.net
981 ID:kZPpOg3V >御大とかいう人{}∈{{{}}}は間違いだと言わないね
983 ID:8VHb1+yB >一度指摘した。
984 ID:yCath8Ii >指摘した投稿の番号を書いて
986 ID:8VHb1+yB >番号は753

× 正解は756

1044:132人目の素数さん
24/12/23 07:45:23.08 0GcedQpv.net
証拠
>>753 {}∈{{}, {{}}}は真
>>756 {}∈{{{}}}でないのでダメ

1045:132人目の素数さん
24/12/23 07:52:04.02 XUEChow2.net
>>989
> 要するに、『"∈"が"<"と同じ役割をして』ってところが肝です
 要するに、その粗雑化が嘘です
> 失敗・失言語録として収録します
 童貞君自身の失敗録でしたか
> ”∈-”の関係を辿ると、最後は空集合Φ={}に行き着くってこと
 その通りだが、そこから∈が全順序関係だとは言えないってこと

 縁なきおサルは度し難し

1046:132人目の素数さん
24/12/23 07:55:24.87 XUEChow2.net
続きは↓スレで

雑談はここに書け!【68】

タイトルにある通り
「”現代数学の系譜 雑談 ◆yH25M02vWFhP”はここに書け!」

1047:現代数学の系譜 雑談
24/12/23 08:00:25.33 moCfr63a.net
>>992
粗雑なのは、あなた
下記の フォン・ノイマン宇宙 V ja.wikipediaとen.wikipediaとを
百回音読してねw ;p)

ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙 V とは、遺伝的(英語版)整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。

整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。

en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe

1048:現代数学の系譜 雑談
24/12/23 08:02:44.61 moCfr63a.net
>>993
笑える
勝手に 雑談スレで踊りなよ
おれは、雑談スレには書いたことがないよ

そもそも、5ch 便所板でしょ?
全部雑談だろ?w ;p)

1049:132人目の素数さん
24/12/23 08:06:37.19 XUEChow2.net
>>994
童貞君、さすが大学1年の4月で落ちこぼれただけのことはある
この期に及んで、まだ、{}∈{{{}}}でないことが受け入れられない
愛する御大にも、756で間違いだと指摘されているのに
これはもう病気だな どんだけ自惚れてるんだ

1050:132人目の素数さん
24/12/23 08:08:53.16 XUEChow2.net
>>995
> そもそも、5ch 便所板でしょ?
 そもそも、君は便所のダンゴムシってことか 童貞君

やっぱり、続きは雑談スレ
君は書かなくていいよ 
おかしなHNもトリップもコピペも謎の番号もキモチワルイだけだから

1051:132人目の素数さん
24/12/23 08:17:47.27 XUEChow2.net
数学童貞君 失言録

・任意の項が1未満の無限乗積は0に発散、と誤り発言
・正方行列は正則行列、と誤り発言
・存在命題から、元を一つ決めることができない、と誤り発言
・任意の集合からなるクラスは、∈で整列順序を為す、と誤り発言

1052:現代数学の系譜 雑談
24/12/23 08:18:19.43 moCfr63a.net
>>996
>この期に及んで、まだ、{}∈{{{}}}でないことが受け入れられない

ヤクザのインネンでしょ?w ;p)

1053:132人目の素数さん
24/12/23 08:19:56.32 8VHb1+yB.net
>>984
ロシアのような猜疑心

1054:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 40日 10時間 31分 6秒

1055:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch