alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「選択公理をいかにして使ってしまうか」
14013pv 30 -
ひらいずみセミナー(2日目)
5875pv 12 -
第一回選択公理オフ
5861pv 22 2 users
-
2013年選択公理の日・第四回選択公理オフ
7870pv 23 -
第四回関西すうがく徒のつどいと思われる何か
2284pv 8 1 user 1 -
alg_dがKUに来たという設定
2598pv 7 -
第一回関東すうがく徒のつどい(2日目)
8618pv 27 -
第一回関東すうがく徒のつどい(1日目)
13682pv 36 -
第四回ひらいずみセミナー
8407pv 12 1 user -
第三回ひらいずみセミナー(2日目)
5760pv 9 -
第3.1回選択公理オフ
2079pv 4 -
のんびり。
4276pv 6 -
平泉散歩会という案
1076pv 3 -
かわずさんの就職活動【3月中旬】
5114pv 15 -
ひらいずみセミナー(1日目)
5298pv 12 -
ひらいずみセミナーと関西すうがく徒のつどいの概要
6427pv 18 1 user -
第一回オフヒヒwww会
17802pv 45 2 users -
第二回唐揚げオフ
4318pv 10