19/10/24 12:28:54.60 v8ZyClKL.net
>>518
一階の集合論では元が集合であるか集合の元であるかの区別はないんですけど
∀x∀y∃A∀t(t∈A⇔(t=x∨t=y))
∀xは全てのxですよ
全ての集合の元xとは書かれてないですね
まあ型理論でもやりたいなら話は違うかもしれませんけど
つまり、安達さんは自然数が加法に関して群になるかすらどうかもわからないんですね。。
ガロア理論て群の定義もわからないのにわかるもんなんですかねぇ
19/10/24 12:28:54.60 v8ZyClKL.net
>>518
一階の集合論では元が集合であるか集合の元であるかの区別はないんですけど
∀x∀y∃A∀t(t∈A⇔(t=x∨t=y))
∀xは全てのxですよ
全ての集合の元xとは書かれてないですね
まあ型理論でもやりたいなら話は違うかもしれませんけど
つまり、安達さんは自然数が加法に関して群になるかすらどうかもわからないんですね。。
ガロア理論て群の定義もわからないのにわかるもんなんですかねぇ