トップ 2015年 1月 6日 更新 2015年5月2日 作成 2015年1月6日 選択公理bot成長のキセキ 選択公理botは未完成です ※ツイートに出てくる番号は、『Consequences of the Axiom of Choice』に載っている命題番号です。 数学 選択公理 BOT 数学クラスタ alg_d 8115 2 3 0 12 ツイート 2 いいね！0 選択公理 @AxiomderAuswahl テスト 2011-06-20 23:03:35 選択公理 @AxiomderAuswahl 選択公理ちゃんマジ公理 2011-06-21 00:51:09 選択公理 @AxiomderAuswahl 選択公理ちゃんマジ公理! 2011-06-21 01:00:01 選択公理 @AxiomderAuswahl 整列可能定理 2011-06-21 03:01:35 選択公理 @AxiomderAuswahl Zornの補題 2011-06-21 03:04:09 選択公理 @AxiomderAuswahl 【選択公理】任意の集合に選択関数が存在する． 2011-06-21 03:05:00 選択公理 @AxiomderAuswahl [⇔]【Zornの補題】空でない帰納的な順序集合は極大元を持つ． 2011-06-21 03:07:11 選択公理 @AxiomderAuswahl [⇒]【Hahn-Banachの定理】 2011-06-21 04:07:33 選択公理 @AxiomderAuswahl [⇔] 任意の線型空間に基底が存在する． 2011-06-21 04:11:37 選択公理 @AxiomderAuswahl [⇔] 全射f:A→Bに対し，fg=id_Bとなるような写像g:B→Aが存在する． 2011-06-21 04:14:57 選択公理 @AxiomderAuswahl [⇔] 非空集合の任意個の直積は空でない． 2011-06-21 04:15:02 選択公理 @AxiomderAuswahl [⇒] Lubesgue非可測集合が存在する． 2011-06-21 04:15:16 V-alg-d（ZZ） @alg_d @AxiomderAuswahl テスト用 2011-07-09 19:36:11 選択公理 @AxiomderAuswahl @alg_d 選択公理ちゃんマジ公理 2011-07-09 19:56:34 サショー☆シロカミ @sasho1223 @AxiomderAuswahl ｼｬﾍﾞｯﾀｱｱｱｱｱｱｱｱｱｱｱｱ！ 2011-07-09 19:57:28 V-alg-d（ZZ） @alg_d @AxiomderAuswahl from 43 to 8 2013-11-10 16:10:57 選択公理 @AxiomderAuswahl @alg_d Form 43 から Form 8 は証明可能です 2013-11-10 16:11:01 V-alg-d（ZZ） @alg_d @AxiomderAuswahl from 101 to 100 2013-11-10 16:11:56 選択公理 @AxiomderAuswahl @alg_d Form 101 から Form 100 は証明可能です 2013-11-10 16:13:53 V-alg-d（ZZ） @alg_d @AxiomderAuswahl to 309 2013-11-10 16:29:04 選択公理 @AxiomderAuswahl @alg_d Form 309 を証明可能: 1 52 91 309 2013-11-10 16:30:23 V-alg-d（ZZ） @alg_d @AxiomderAuswahl from 100 2013-11-10 16:33:32 選択公理 @AxiomderAuswahl @alg_d Form 100 から証明可能: 0 9 93 100 347 369 2013-11-10 16:34:02 1 2 ・・ 7 次へ
alg_d 