[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13(1): 2019/10/05(土)11:02:24.71 ID:kZwmbLNI(5/44) AAS
>>11
ごもっともです。
今後ωは、無限公理で存在が認められる集合
{{},{{}},{{},{{}}},…}
を表すこととしましょう。
{{…{}…}}（{}が無限重）
については、1が主張していることなので
省1
77(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:57:31.71 ID:JrhjRl4x(32/46) AAS
>>49
(引用開始)
＞つまり、ノイマン構成とツェルメロ構成とは、一対一に対応していますよ。当たり前ですが
自然数の範囲では一対一に対応しますが、
Nに対する{・・・{Φ}・・・}は存在しません
(引用終り)
あなたのやろうとしていること、そもそも無理ゲーですよ
省22
175(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)16:07:45.71 ID:d8OQiN+r(20/27) AAS
>>102 追加
＞(b) the existence, for any object a, of the singleton set {a} which has a as its sole member; and
この”for any object a, of the singleton set {a}”
は、ZFCでは、対の公理だね
a → {a}が言える
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省19
213: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:34:10.71 ID:3SQHWkr4(5/5) AAS
>>211 追加引用
下記の和積が、通常の演算と同じなんでしょうね、多分（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
順序型
(抜粋)
5 順序型の演算
5.1 和
省21
451: 2019/10/21(月)23:17:18.71 ID:55/7dvj1(1) AAS
>>447
なにをトンチンカンなこと言ってるのやらｗ
プログラミング言語の"="は、左辺の変数に右辺の値を代入するという指示であり、数学の"="とは全く別物ｗ
頭に蛆でも湧いてんのか？ｗ
464: 2019/10/22(火)15:56:11.71 ID:CwCP0Vgx(1/2) AAS
>>455
間違いを誤魔化そうと必死なのおまえじゃんｗ
510(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/28(木)00:30:28.71 ID:QdpmOFrx(3/7) AAS
>>508-509
＞ 2.(Kazimierz Kuratowski) S has all properties which can be proved by mathematical induction beginning with the empty set and adding one new element at a time. (See below for the set-theoretical formulation of Kuratowski finiteness.)
＞Kuratowski finite means S lies in the set K(S), constructed as follows. Write M for the set of all subsets X of P(S) such that:
＞X contains the empty set;
＞For every set T in P(S), if X contains T then X also contains the union of T with any singleton.
＞Then K(S) may be defined as the intersection of M.
なるほど
省5
587(1): 2019/12/04(水)00:02:49.71 ID:Gpiz7JDy(1/2) AAS
時枝記事？
あれは大学2年レベルの学力があれば理解できる。
アホ主くんは選択公理も同値類も、いやその前に自然数から分かってない。だから理解できない。
それだけのこと。
713(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/13(金)07:56:11.71 ID:ljJF0g2A(1/2) AAS
これが分り易いかも
Foundation and epsilon-induction
おサルでも読めるだろう
正則性公理が理解出来ていないんだよね（＾＾；
外部ﾘﾝｸ[html]:web.mat.bham.ac.uk
Foundation and epsilon-induction
(抜粋)
省13
896: 2019/12/19(木)17:56:03.71 ID:irY5twgB(1) AAS
マンコにチンコを挿入する
これがセックス
943: 2019/12/20(金)20:57:41.71 ID:PajeDX38(4/5) AAS
マリリン・ボス・サヴァントも
「人々は日常生活で培われた
経験的な直感とは反する事実が
理解出来無い様です」
ってモンティホール問題の顛末の感想を語ってたらしいよ。
968: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)08:11:54.71 ID:AVt64yFu(6/9) AAS
>>966 補足の補足
順序数の<ノイマン構成>と<Zermelo構成>
この2つ以外もあるだろうが
後者関数が違っても
順序同型になって
同型の意味で、
一意でしょ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s