「マンガでわかるZFC（仮）」

@tenapi

「マンガでわかるZFC」はいつできるのやら。

鏡 弘道 @kagami_hr

@tenapi 期待しています。

@tenapi

@kagami_hr 主役は当然、 L 国の清楚清純なお姫さまの「チャチャ」ですよね？

鏡 弘道 @kagami_hr

@tenapi チャチャは間抜けですから指南役が必要そうです。本来指南役としては師匠のセラヴィーが適していると思われますが極めて陰険な性格なので V 帝国の (以下マニアック過ぎるので略)

@tenapi

@kagami_hr 間抜けな姫： 「ええっと、 《x∉x なる x たちよ、集まれぇ!!》…あ、矛盾しちゃったぁ♪」「姫っ!! 内包の呪文はいけないといつも申し上げてるじゃありませんか。しかも、いつのまにか危険なラッセル述語を…がみがみ」「ふぇーん、ごめんなさあい;;;」

鏡 弘道 @kagami_hr

@tenapi そこまでチャチャのお話をご存知だったとは。敬服しました！

@tenapi

@kagami_hr いや、チャチャの話はぜんぜん知らないのですが、ひょっとしたら自分がチャチャまたはその指南なのかもしれません。

鏡 弘道 @kagami_hr

@tenapi 知らないって。さっきのいつものパターンそのまんまじゃあないですか (^^

@tenapi

@kagami_hr ふぇーん、ごめんなさぁぁい;;;;

結城浩 / Hiroshi Yuki @hyuki

@tenapi かわええ

@tenapi

@kagami_hr 愛読者お一人様げと。あとはかが★みんの努力しだい RT @hyuki: @tenapi かわええ

@tenapi

「でもぉ、どうして内包の呪文がダメなの？とぉっても便利なのにぃ…」「やれやれ。どうやら自己言及の魔物の伝説からお教えせにゃぁならんようだ。」

@tenapi

「・・・というわけで、内包の呪文はナイホウがいい、集合の中から属性によって要素を選び出す分離の呪文なら使ってもよろしい、ということになったのです。」「わかったわ。でも、それならその最初の集合はどこから持ってくるの？」「あ…」(つづく)

@tenapi

って、いまの「(つづく)」は言葉の綾ですからね。続きませんよ。たぶん。

鏡 弘道 @kagami_hr

(そうか L 国がドロシーをかくまっていることにすれば)

鏡 弘道 @kagami_hr

なんか魔笛のような高尚な雰囲気になってくるではないか。 RT @kagami_hr: (そうか L 国がドロシーをかくまっていることにすれば)

鏡 弘道 @kagami_hr

いや。私は夜の女王よりザラストロの方が悪なのではという立場なので。

MarriageTheorem @MarriageTheorem

#欲しいものリスト RT @tenapi: って、いまの「(つづく)」は言葉の綾ですからね。続きませんよ。たぶん。

@tenapi

だってだって、ちょっとおっちょこちょいだけどかわいいお姫さまが仲間の凸凹トリオのモルガン/ブール/ヴェンと一緒に大活躍する、萌え要素てんこ盛りかつ論理的に厳密な公理的集合論入門なんて、このゼルプスト殿下に書けるわけないではありませんか。

MarriageTheorem @MarriageTheorem

（もうアウトラインが出来上がっているなんて、さすが殿下は仕事が早くてらっしゃいます）

@tenapi

(すみません真面目な仕事を半日以上続けると頭の中にバカが溜まるもので…)

MarriageTheorem @MarriageTheorem

（つまり殿下に真面目な仕事をたくさん振れば、副産物としてあちらの執筆が捗る、と（ひどい

@tenapi

いえ、あちらの執筆ではなくバカツイートが捗ります。

MarriageTheorem @MarriageTheorem

（#だがそれがいい

@tenapi

ところで、『集合の国のアリス』なんか、ヨーロッパの先人が誰か書いてないですかね。女王「選択公理が公理なのは公理だから公理なのじゃ」アリス「なによ、公理なんてただの記号列のくせに!! あなたたちの無矛盾性の保証がどこにあるっていうのよ!!」