Inter-universal geometry と ABC予想 (応援スレ) 73 (714ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
97(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)07:14 ID:ZOjwMpAx(1/6) AAS
>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。
ありがとう
矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
省36
98(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)07:20 ID:ZOjwMpAx(2/6) AAS
>>93-96
ゴキブリくん
ホイヨ >>97
"記号∩を使うことを、ZFC公理から批判すると
使っている公理を明示的に示すことにおいて、劣るということ
分出公理を使って 直接 部分集合として 自然数の集合を抽出できるのに
わざわざ 記号∩を使うの？ なんかヘンですよね
省4
99(1): 07/31(木)08:10 ID:1CxagZxr(5/17) AAS
>>97
>公理的集合論の中では、適用する公理によって、作られる集合は 当然異なるってことだね
二つの集合が等しいための条件は外延性の公理で規定されているが、その条件の中に「対象の集合を構成するのに適用される公理」は1ミリも入っていない。よって君の持論は妄想。
と、既に教えてあげたのだが、君、言葉が通じないの？ 言語障害？ 病院行きなって。
>繰り返すが、ここは重要ポイントです
繰り返すが、君の持論は妄想です。
>ZFC公理系で最初に定義される 無限集合の最小集合たる自然数の集合N=ωで
省15
100(1): 07/31(木)08:22 ID:NPM2QCVL(1) AAS
>>98
>ホイヨ >>97
>>97は君の妄想だけど、それがどうかしたかい？
>"記号∩を使うことを、ZFC公理から批判すると
>使っている公理を明示的に示すことにおいて、劣るということ
分出公理と明示的に示されてるから「劣る」は君の妄想。
>分出公理を使って 直接 部分集合として 自然数の集合を抽出できるのに
省10
104(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)11:05 ID:6G+cbRJY(2/6) AAS
>>99-100
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ ；ｐ）
>>公理的集合論の中では、適用する公理によって、作られる集合は 当然異なるってことだね
>二つの集合が等しいための条件は外延性の公理で規定されているが
>>97より
『１）の ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | M(x)}、P (a) は a の「冪集合」、「x は無限集合である」という命題を M(x)
省19
105(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)11:33 ID:6G+cbRJY(3/6) AAS
>>104 追加
それから
ZFC公理系で、下記 ”5. 和集合の公理”はあるが
一方、積集合∩ は 公理ではない
よって、積集合∩については 他の公理を使って
組み立てる必要がある
それ お願いしますねｗｗ ；ｐ）
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s