Inter-universal geometry と ABC予想 (応援スレ) 73 (714ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
93(4): 07/31(木)02:00 ID:1CxagZxr(1/17) AAS
>>90
>『ZFCは、あらゆる性質に対して、その性質を満たすすべてのものの集合が存在するとは仮定しません。
は
>抑制はもっぱら内包公理の排除による。(>>77)
のことを言っている。
>むしろ、任意の集合Xが与えられたとき、一階述語論理を用いて定義可能なXの任意の部分集合が存在すると主張します。
は
省11
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
109(1): 07/31(木)15:35 ID:1CxagZxr(8/17) AAS
>>105
>積集合∩については 他の公理を使って組み立てる必要がある
>>93
君、字が読めないの？
>なんぜわざわざ 積集合∩を使うのかな？ｗ ；ｐ）
だから使っても使わなくても同じだって。
君が∩を理解しておらず字面で判断するから違うように見えるだけだって。
省1
121(2): 07/31(木)21:19 ID:1CxagZxr(11/17) AAS
>>111
>だ か ら、記号∩は (和集合と違って) 公理ではありません！(>>105の通り）
誰が公理と言ったの？
>記号∩、
だから>>93で提示済みと何度言わせるの？ 君、言葉が分からないの？ 言語障害？ 病院行きなよ
>特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
>を、ZFCの公理を使って、これが 無限集合のN：＝{0,1,2,・・・} であることを示してねｗｗ ；ｐ）
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s