ひかみ(@coolplus099)/2018年07月05日

ひかみ

Favolog ホーム » @coolplus099 » 2018年07月05日

並び順 : 新→古 | 古→新

タグ：

posted at 00:20:21

チャHでクンニしてるとき「オエー」って言うの楽しすぎワロタｗｗｗ #2ch

タグ： 2ch

posted at 12:00:01

日本サッカー協会、監督をぽんぽん変更するあたり、少し前の日本政府と似てる

タグ：

posted at 17:34:53

ZFで選択公理と同値だけど、基礎の公理がないと同値でなくなるという命題は結構あって、すると基礎の公理なんて普通に生きてたら使わないから、どこで使うんだろうという気持ちになるんだけど、どの命題も証明を追っていくと大体最終的に「整列集合の冪集合は整列可能⇒選択公理」という命題に行きつく

タグ：

posted at 20:53:54

非常に大雑把に言うと、整列集合の冪集合は整列可能と仮定すると、基礎の公理があればV=WFだからVが「整列可能」になって整列可能定理が導かれる。

タグ：

posted at 20:55:06