ただまご = 永島孝
@tadamago
従属選択の日が作れないな(笑) RT @tenapi: 10月12日 ( 0x0A月 0x0C日 ) を選択公理の日と定めますかね。んで、次の日が決定公理の日。
2011-10-11 22:10:58
@tenapi
強いていえば陰暦の閏月の12日ですね。 RT @tadamago: 従属選択の日が作れないな(笑) RT @tenapi: 10月12日 ( 0x0A月 0x0C日 ) を選択公理の日と定めますかね。んで、次の日が決定公理の日。
2011-10-11 22:14:58
のらんぶる
@nolimbre
"@SugaTheKid #選択公理ちゃんマジ公理 #ツォルンの補題ちゃんマジ補題 #整列可能定理ちゃんマジ定理 " #バナッハタルスキのパラドックスちゃん別にパラドックスじゃない
2011-10-11 18:37:48
スラステ
@slapstick123
#選択公理ちゃんマジ公理 #数学的帰納法ちゃんマジ帰納的 #バナッハタルスキーの定理ちゃんマジ定理 #極大イデアルちゃんマジ存在
2011-10-11 18:56:40
Suga
@SugaTheKid
今自分の研究でHahn-Banachの定理を使ったんだが、これって選択公理を認めないと僕の研究は偽になるってことだよな? #選択公理ちゃんマジ公理
2011-10-11 19:10:11