2011年08月26日のツイート - kururu

@kururu_goedel: さてと、人生かかった書類の最終見直しするなりよ。

@kururu_goedel: @t_uda おめでとうございます。

@kururu_goedel: @kagami_hr やべ、いきなり答え書いちゃうところでした。

@kururu_goedel: @alg_d Lōwenheim-Skolem の定理は一階述語論理での構造に対してのものなので、定義に二階論理式が入っている場合には使えません。例えば可算な完備自己稠密全順序集合はそんざいしないわけで。

@kururu_goedel: @tenapi えっ。?_0は可算であることを除けば、超巨大基数だと思いますが。存在公理がZFCに埋め込まれているから意識されないだけで。

@kururu_goedel: @ken_m123 どの層の人に聞くかに依るのではないですか？数年前なら、ホットドッグ大食いの小林尊がかなり知名度があったはずです。サタデーナイトライブでネタにされていましたし。