Inter-universal geometry と ABC予想 (応援スレ) 73 (668レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
107
(1): 07/31(木)15:22 ID:A1owLB+z(1) AAS
>>104
>1)ωa = ∩a^、 a^ = {x ∈P(a) | {}∈x∧∀y[y∈x→y∪{y}∈x]}、P (a) は a の「冪集合」
>2)N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ
>1),2)は、ZF公理系では 全く別物
>前者は冪集合公理 P(a)を適用しているが
>後者は冪集合公理を適用していない

ん?
省5
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.027s