Inter-universal geometry と ABC予想 (応援スレ) 73 (875ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
265(3): 08/03(日)17:45 ID:2sRhWGI4(1/2) AAS
（>>208より引用開始）
∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
は、{}∈x∧∀y[y∈x→y∪{y}∈x]を満たす
もっとも小さい集合となっている
理解すべきはこれだけ
{0,1,2,・・・} であることではない
（引用終了）
省33
266: 08/03(日)17:59 ID:2sRhWGI4(2/2) AAS
課題はNがペアノの公理を満たすことを示すこと。
間違ってもN={0,1,2,・・・}であることを示すことではない。
てか0,1,2,・・・って何だよｗ ZFのどの公理も謳ってないぞｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s