Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s