[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
179: 2019/10/06(日)19:15:09.85 ID:9PvOfF3Z(10/10) AAS
> ω：{・・{Φ}・・} ω重 （ωは、下記のwikipedia定義に従う）
↑
自分で何言ってるか分かってる？
182(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)20:20:45.85 ID:d8OQiN+r(24/27) AAS
>>181
つづき
数学の議論では、変数 i を含む項 T と、集合 I があるとき、i∈I に対する T 全体からなる“集合”を考える、ということがしばしばあります。
大抵の場合、i∈I のとき、T は i に無関係なある集合 A に属しているので、これを集合と見なすことは分出公理により正当化されるのですが、順序数の議論のような、集合論として“きわどい分野”での議論を行うときは、このような条件が成り立っていない場合があります。
ところで、この場合の項 T は、集合 I の元 i に対してある対象 T を表しており、i に T を対応させる関数が与えられたとみなすことができます。
そこで、集合 I の関数による像 { T | i∈I } となる集合が存在すると言う意味の置換公理：
[∀x ∀y ∀z ( ( P(x, y) ∧ P(x, z) ) → y = z ) ] → ∀a ∃b ∀y [ y∈b ⇔ ∃x ( x∈a ∧ P(x, y) )]
省7
310(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)22:05:41.85 ID:0oc9Ztsl(25/28) AAS
>>309
外部ﾘﾝｸ:mickindex.（URLがNGなので、キーワードでググれ（＾＾ ）
ミック
再帰集合とSQL 2017/06/22
(抜粋)
色々な自然数の帰納的定義
ノイマン型
省38
313(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)22:33:16.85 ID:0oc9Ztsl(27/28) AAS
>>293
(引用開始)
Ω=x1∋x2∋‥‥∋xm
X[m]={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]}
(引用終り)
？
xmをいくらでも小さく取れるということですか？
省17
527: 2019/11/29(金)06:53:54.85 ID:RLRDCvDR(3/4) AAS
◆e.a0E5TtKEがクラトフスキ有限の話をやめたのは
R⊂｛R}という馬鹿丸出しの誤解をしていると指摘されて
全く反論できなかったから
◆e.a0E5TtKEは集合に関して安達弘志と同レベルｗｗｗｗｗｗｗ
542(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)20:55:39.85 ID:4Ujjq2jv(7/17) AAS
>>541
つづき
?We can show that a finite set according to this definition is also in the ordinary sense and reciprocally.
In other words: for a set to be finite according to the proposed definition, it is necessary and sufficient that the number of its elements can be expressed by a natural number (the notion of natural number being assumed to be known).
?Indeed, let M be a set whose number of elements can be expressed by a natural number; let Z be any class satisfying the conditions 1-3.
We will show that every subset of M belongs to Z.
This is - under condition 2 - subsets composed of a single element; at the same time, if this is so subsets containing n elements, it is the same - according to 3 - of those which contain n + 1.
省8
893: 2019/12/19(木)10:42:12.85 ID:ewL+VwLw(3/3) AAS
此処があって良かったね♪
ｻﾙﾙの書き込み見てくれる
主達がいるからね♪♪♪
(σ´∀`)σ«🙈
905(1): 2019/12/19(木)19:42:31.85 ID:87tqMlln(3/3) AAS
┃≡３ ﾋﾟｭｯ!
Ψならｯ！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s