選択公理理解してません

ツォルンツォルーン
7
前へ 1 2
ぞみ @zomi1202

alg_dさんのいないTLを構成することで、ACの独立性を示す。

2013-09-26 00:27:43
スマートコン @mr_konn

公理たちの世界では選択公理の主催によるアルゴドゥーオフとか開かれてるし、 "Consequences of alg_d" とか "Equivalents of alg_d" とかいう本が書かれてる

2013-09-26 00:28:37
たねV @csemitovt

ＡＬＧ＿Ｄを罵ると、Rの汚い全順序を吐き出してくれる

2013-09-26 00:27:16
V-alg-d（ZZ） @alg_d

分かったから全角はやめろ

2013-09-26 00:31:37
前へ 1 2

いま話題のタグ

サーティワン31 出禁46 バニーガーデン5 ホテル556 ザ!鉄腕!DASH!!526 岸田文雄198 光る君へ64 ワールドトリガー866 名探偵コナン497 脱毛70 美容371 らーめん再遊記6 おがくず153 新幹線657 水曜日のダウンタウン123