選択公理ちゃんマジ公理

V-alg-d（ZZ） @alg_d

「非可測集合が構成された時など心がおどる」こうですかわかりません。 QT @bonotake: 「諸君、私は選択公理が好きだ」の途中の文みたい RT oskimura: RT alg_d: 殆どの人が選択公理を知らずに死んでいくと思うと悲しくなるな。

らなるーた @ranaluta

例：「Hahn-Banachの定理と掛けまして、広告業界と解きます」「その心は？」「気をつけないといけないのはAC(選択公理／公共広告機構)です」

@h_kagami

それに選択可能な靴下が多すぎる。

いがりす @igaris

靴下選択公理を付加してみては。多分相対的に無矛盾です。 RT @h_kagami それに選択可能な靴下が多すぎる。

@h_kagami

ZF に靴下選択公理を追加しても無矛盾です。ですがまことに残念ながらおうちのモデルでは成り立たないんです。 RT @igaris: 靴下選択公理を付加してみては。多分相対的に無矛盾です。 RT @h_kagami それに選択可能な靴下が多すぎる。

@h_kagami

ちゃうやん。おうちでは靴下選択公理が成立しているのです！

@h_kagami

靴下選択公理は成立しないほうが好ましいですが靴下の洗濯はしたほうが良いです。

V-alg-d（ZZ） @alg_d

【選択公理七つの大罪】強欲「各集合から一個ずつ元を取れる」嫉妬「Zornの補題使いやすすぎだろ…」傲慢「ZFとは独立」怠惰「選択が具体的にどんなかなんて知るか」憤怒「ルベーグ測度とか不完全じゃないか糞が」暴食「このリンゴを増やそう」色欲「この集合に群演算を入れる」

ジョージ @Kiriyama_George

選択公理なしに存在が示せない程度の存在感です

takasuke @kktyk

【お使いの公理系の更新のお知らせ】年度末の公理系の更新手続き、お済みですか？ZFをお使いで更新がまだの方へ、お得な公理系プランへの乗り換えチャンスです！弊社の『選べる割』では、基本料金はZFのまま、月々4回までは無料、以降12回までは定額で選択公理がご利用頂けます。

V-alg-d（ZZ） @alg_d

俺今回選択公理使いすぎたから料金ヤバイわー

V-alg-d（ZZ） @alg_d

選択公理かー 二年くらい前に認めたわー 二年くらい前にねー

平面ねこ @2Dcat

お、お父さんは選択公理なんて認めないぞ！

ジョージ @Kiriyama_George

QB「はやく、選択公理を！」 ほむほむ「それには及ばないわ」

V-alg-d（ZZ） @alg_d

ZF「お父さん! 選択公理は本当に無矛盾なのよ! 分かってよ!!」 QT @2Dcat: お、お父さんは選択公理なんて認めないぞ！

V-alg-d（ZZ） @alg_d

(Banach Tarski paradox 証明中に) 「何だ!! 何が…何が起きている!?」「選択だ!!選択が起きている!!」

圏論のあか☆ねこ@数学系Vtuber @math_neko

父「じゃあ ZF よ、お前が無矛盾なことは誰が保証するのかね ?」ZF「!?」 RT @alg_d: ZF「お父さん! 選択公理は本当に無矛盾なのよ! 分かってよ!!」 QT @2Dcat: お、お父さんは選択公理なんて認めないぞ！

V-alg-d（ZZ） @alg_d

選択公理「我らは神の代理人 選択の地上代行者 我らが使命は 我が神に逆らう集合族の 選択関数を構成すること――AMEN」

V-alg-d（ZZ） @alg_d

AC「いいぜ てめぇが何でも測度を定義できるってなら まずはそのふざけた幻想をぶち殺す!!」

トマにゃん @kagyu_phis

これからの時代一発芸で流行るのは円周率を何桁言えるかより、選択公理と同値な命題を何個言えるかだよ！ほんとほんと！

ジョジョの奇妙な数学 @JOJO_math

激しい『反例』はいらない…それでいて深い『証明』もない…『選択公理』のような人生を…そんな『平穏な生活』こそわたしの目標だったのに…

トマにゃん @kagyu_phis

選択公理ちゃんマジ公理とかほむほむとか長門とかしか呟いてない気がする…

K @kutsumi3

@alg_d 選択公理で原発の問題が解決できたらいいのに。

ひ @hhiieenn

理解し難い概念：位相 コンパクト性 選択公理 アボカド←new!

@nablaenergy

ACといっても選択公理ではありません。