ケン・オカベがソフトバンクだったら

@boxeur1102

件の彼がソフトバンクだったら 「Thoery of Everythingで」 「Theory for Everythingキャンペーン適用でよろしいですか」 「なにそれ」 「はい、世界を一つの理論に還元できるたいへん素晴らしい理論です」 「いやそこまでは求めてないんですけど……」

@boxeur1102

「この理論を突き詰めていただくと、ZFCが実質選択公理だけになりますよ」 「選択公理だけでいいの？！」 「はい、ただしプラトン的世界、物理的世界、精神的世界というペンローズの三角形を概念を前提としていただくことになります」 「訳が分からないんだけど、けっきょく基本原理はなんなの」

@boxeur1102

「実質選択公理だけです」 「いや、そうじゃなくて……」 「あ、失礼しましたお客様、Theory for Everything キャンペーンは先月で終了しておりました。現在はZFCバリューセットをお薦めしております」 「なにそれ」

@boxeur1102

「こちらもZFCが実質選択公理だけになる素晴らしいセットです。さらに世界を数学に還元し放題になります」 「Thoery for Everything だと数学に還元しきれなかったの？」

@boxeur1102

「いえ、Theory for Everything は数学に還元し放題オプションがありました。ただZFCバリューセットでは、世界五分前仮説のような反証不能な仮説も扱えるようになります。これにより従来にはない仮説も仮定することができるんです」

@boxeur1102

「従来にはない仮説ってなに」 「それは今後考える予定です」 「だからふつうにTOE知りたいだけなんだけど……」 「では、弱い人間原理にしましょうか？実質選択公理だけではなくなりますが……」 「それでいいよ」

@boxeur1102

「こちらはZFと選択公理の2つを仮定しており、バナッハ・タルスキーのパラドックスを認めたくない方にはたいへんお得になっています」 「選択公理採用してバナッハ・タルスキーのパラドックスを認めない意味が分からないけど」 「でもZFだけで世界を記述できますよ」 「ZFだけで？本当に？」

@boxeur1102

「はい、ツォルンの補題を採用する場合は」「選択公理と同値じゃねえか。バナッハ・タルスキーのパラドックス認めたらどうなるんだよ」 「サッカーボールの分割見世物をしていただくこととなっており、見物料500円です」 「サッカーボール分割するだけで500円か……。どんな風に分割するんだ」

@boxeur1102

「サッカーボール2つ分くらいでしょうか」 「＾＾汗」 「あと、こちらも物理的世界、精神的世界、つまりペンローズの三角形の概念の一部を前提としていただくことになります」 「帰るわ」