トップ 2015年 1月 6日 更新 2015年5月2日 作成 2015年1月6日 選択公理bot成長のキセキ 選択公理botは未完成です ※ツイートに出てくる番号は、『Consequences of the Axiom of Choice』に載っている命題番号です。 数学 BOT 数学クラスタ 選択公理 alg_d 8263 2 3 0 12 ツイート 2 いいね!0 前へ 1 2 3 4 ・・ 7 次へ V-alg-d(ZZ) @alg_d @AxiomderAuswahl from 2 to 17 2014-02-22 19:33:17 選択公理 @AxiomderAuswahl @alg_d Form 2 から Form 17 は証明可能です。 2014-02-22 19:33:21 V-alg-d(ZZ) @alg_d @AxiomderAuswahl 何故なのん 2014-02-22 19:52:34 選択公理 @AxiomderAuswahl @alg_d 2⇒3⇒9⇒17 2014-02-22 19:52:42 V-alg-d(ZZ) @alg_d @AxiomderAuswahl from 3 to 150 2014-04-08 23:01:32 選択公理 @AxiomderAuswahl @alg_d Form 3 から Form 150 はZFで証明不可能です。 2014-04-08 23:01:37 V-alg-d(ZZ) @alg_d @AxiomderAuswahl なんで 2014-04-08 23:02:25 選択公理 @AxiomderAuswahl @alg_d 150⇒5 が証明可能なことと, 3⇒5 が証明できないことから分かる. 2014-04-08 23:02:31 スマートコン @mr_konn @AxiomderAuswahl from waheyhey to alg_d 2014-02-22 19:41:54 選択公理 @AxiomderAuswahl @mr_konn waheyhey は存在しません。 2014-02-22 19:42:00 V-alg-d(ZZ) @alg_d @AxiomderAuswahl from 10 to 9 2014-04-22 23:20:41 選択公理 @AxiomderAuswahl @alg_d Form 10 から Form 9 はZFで証明不可能です。 2014-04-22 23:20:46 V-alg-d(ZZ) @alg_d @AxiomderAuswahl 命題10 2014-04-22 23:21:02 選択公理 @AxiomderAuswahl @alg_d 命題10: 有限集合の可算集合は選択関数を持つ. 2014-04-22 23:21:07 V-alg-d(ZZ) @alg_d 選択公理botがbot界の頂点目指して歩み始めた 2014-04-22 23:26:04 ひむら @himhm @AxiomderAuswahl from 42 to 51 2014-04-22 23:35:50 選択公理 @AxiomderAuswahl @himhm Form 42 から Form 51 はZFで証明不可能です。 2014-04-22 23:35:54 V-alg-d(ZZ) @alg_d @AxiomderAuswahl なぜ???? 2014-04-22 23:41:41 選択公理 @AxiomderAuswahl @alg_d 87⇒42 が証明可能なことと, 87⇒51 が証明できないことから分かる. 2014-04-22 23:41:47 ひむら @himhm 選択公理ボットやばい(確信 2014-04-22 23:44:41 V-alg-d(ZZ) @alg_d @AxiomderAuswahl from 0=1 to Con(ZFC) 2014-06-07 23:33:24 前へ 1 2 3 4 ・・ 7 次へ