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

@tenapi

しかし女王さまのキャラは確率…じゃなくて確立してそうだ。二言めには「集合せい!!」とか「整列せい!!」とか。王が「それはまあ、定義のしようがなあ…」とかごにょごにょ言うと、「あなたがそんなだからいけないのです。よいか皆の者、無矛盾性の証明がないなら無矛盾性を公理にするのぢゃ!!」

@tenapi

『アリス』でいくとしたら、まず間違いなく、ひとり形式的体系の世界に迷い込んだ「メタちゃん」が巻き起す大騒動、という話になりますよね。

@tenapi

正体不明の「ジェネリックウサギ」とか出てきて。

鏡 弘道 @kagami_hr

@tenapi それ怖いです。

@tenapi

“Alice in set-theoretic universe” でググっても、いまのところ目星いものはヒットしませんね。

@tenapi

@kagami_hr 「あなたはだあれ？」「オイラハダレデモナイヨ」「でも強制言語では、みんなあなたのことを Γ って呼んでるわよ」「ソレハ名前ダヨ。ソノ名前ノオイラノ仲間ハタクサンイルノサ」

Hiroyasu Kamo @kamo_hiroyasu

自己宣伝。数学ガール／計算可能性解析学 http://t.co/AtDUp5YX

H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika

マジで既に企画があってもおかしくなさそう。 RT @tenapi: 「マンガでわかるZFC」はいつできるのやら。