Inter-universal geometry と ABC予想 (応援スレ) 73 (669ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
107(1): １３２人目の素数さん [] 07/31(木)15:22 ID:A1owLB+z(1)
>>104
>１）ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | {}∈x∧∀y[y∈x→y∪{y}∈x]}、P (a) は a の「冪集合」
>２）N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ
>1),2)は、ZF公理系では 全く別物
>前者は冪集合公理 P(a)を適用しているが
>後者は冪集合公理を適用していない
ん？
x ∈P(a) と x⊂a は全く同じですが何か？
x⊂aである集合xの全体が冪集合ですけど何か？
当然公理を適用してますけど
どうして適用してないとか嘘いっちゃう？
ゴキブリ ◆yH25M02vWFhP 君、参政党支持者？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s