alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
佐藤桂「対数の存在について」
8624pv 12 1 user 2 -
また知らぬ間に選択公理を使っている箇所が発覚してしまった。死のう
5189pv 28 -
2015年1月13日夜のわけわかんねぇ
2099pv 4
-
2014年09月23日のカラオケ
1681pv 1 -
選択公理bot成長のキセキ
8252pv 27 3 users -
かわずさんの就職活動【2月中旬】
7701pv 10 -
応援: 数学クラスタ → 受験生
9995pv 20 2 users -
ALiCe2269さんの思いつき数学講座
22903pv 196 2 users 1 -
一筆書きできないアルファベットは「A」だけ
42017pv 125 3 users 2 -
まとめた後のかわず大先生
21372pv 24 3 users -
ささくれ先輩、真の姿
1615pv 17 -
2013年01月02日深夜の数学クラスタ
2822pv 15 1 user -
素イデアルの素
1678pv 11 1 user -
第三回ひらいずみセミナー(1日目)
5655pv 10 -
2012年12月01日深夜の数学クラスタ
2947pv 6 -
第三回選択公理オフ「Krull implies Zorn」
5170pv 13 -
alg_d
3844pv 8 -
線型代数TL
8927pv 63 3 -
アルゴドゥーTL
10398pv 30 1 user -
第二回選択公理オフ「Tychonoff」
7799pv 15 -
ぴあのんさんとぽよ子さんのおデート
2475pv 7 -
トマトしりとり
4262pv 22 2 -
あまりのタイピングの速さに時空が歪んだ
1786pv 3 -
まれいんオフ
3040pv 7 -
#ぽよ子オフ セミナー編
6242pv 12 1 user