2011年03月23日のツイート
@kururu_goedel: Twitter 解析「TwiTraq」を始めました URL
@kururu_goedel: @sordfish777 そのアニメに付随したセリフは「パンツじゃないから恥ずかしくないもん」だと思うわけです。
@kururu_goedel: そういえば、全然未確認だけど、カリフォルニアで福島から放射性物質が飛んで来ることを心配してI131を飲んでいるバカがいるらしい
@kururu_goedel: 決定性の公理は自然数に関する$\forall\exists\forall\exists\cdots$って可算無限回繰り返してできる文に真理値がつくこと、って説明の仕方でそんなに問題はないですよね。選択公理の方はもっとちゃんと行間埋めないとだめかも。
@kururu_goedel: 選択公理は$\forall\exists$を$\exists\forall$にできるってこと(ただし二つ目の$\exists$は高階)