alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
梵ゼミ
2459pv 6 -
【すげねも神】カリフォルニアのオレンジ【スラステ】
2505pv 15 -
可愛ずアイコン
2519pv 18
-
かぺら vs アルゴドゥー
4405pv 12 -
しゅそくんのできる幾何学まとめ
4921pv 8 -
ぴよぴよ
1970pv 5 -
泣いている
3767pv 20 -
赤アイコン教再び
1774pv 8 -
赤アイコン教
4295pv 17 -
横向きに検討します。
3028pv 7 -
深夜のスラスTL
2346pv 7 -
2012年05月07日真昼間の数学クラスタ
1849pv 12 -
積分の順序交換と連続体仮説
3633pv 10 -
かわ×うだ
1276pv 3 -
ほわせぷ語録( CV: カワズ君 )
107675pv 195 35 users -
食パンの耳インバース
1034pv 2 -
選択公理と同値な命題をツイートすると、自動的に「選択公理」に変換されます。
4082pv 12 1 -
【おまけ】紹介されている人で分類
1468pv 3 -
2012年05月01日深夜の数学クラスタ
3379pv 7 -
「@alg_dによるまとめ」のまとめ
2191pv 6 -
直観主義,背理法と否定の導入
16187pv 33 1 user -
相転移PによるGNS構成の解説講義
3219pv 11 2 users 1 -
【2011年記念】 x^2011-1 の因数分解
8587pv 22 3 users -
悲しみの選択公理
5349pv 20 -
平泉散歩会という案
1076pv 3