[過去ﾛｸﾞ] 0.99999……は１ではない その２ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
518(1): 哀れな素人 2019/10/24(木)12:24 ID:syBYbaPi(7/37) AAS
あいかわらずお前は何も分ってないな(笑
Φを集合と認めるか否かという話は別にして、
対の公理が成立するのは、ｘ、ｙが集合の元である場合のみなのである(笑
だからお前はまずΦが集合の元であることを証明する必要があるのである(笑
ところがお前は最初からx=ΦとおいてΦが集合の元であることを認めた上で
対の公理を使ってΦは集合Ａの元であると証明しているのである(笑
つまりΦは集合の元ですからΦは集合の元です、と証明しているに等しい(笑
省5
519: 2019/10/24(木)12:28 ID:v8ZyClKL(1/34) AAS
>>518
一階の集合論では元が集合であるか集合の元であるかの区別はないんですけど
∀x∀y∃A∀t(t∈A⇔(t=x∨t=y))
∀xは全てのxですよ
全ての集合の元xとは書かれてないですね
まあ型理論でもやりたいなら話は違うかもしれませんけど
つまり、安達さんは自然数が加法に関して群になるかすらどうかもわからないんですね。。
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.281s*