対角線論法 - kugyoを埋葬する
プッｗｗｗｗｗｗﾊﾞｶｽｗｗｗｗｗｗｗ
もとの話に戻すと、無限個の超々・豊穣な可能世界には、それぞれ無限個の知的生命が住んでおり、これら「超々・豊穣な可能世界に住む知的生命すべての集合」がNPower(X)に相当する。
しねえよｗｗｗｗｗｗその集合の元の数は（可能世界の数）*（知的生命の数）でn*nだろうがｗｗｗｗｗばかじぇねーのｗｗｗｗｗ
n^2＜＜＜＜＜＜＜2^nだろ、常識的に考えて……(全単射の存在も示せます)。
はい、そういうわけで、やっぱり様相実在論者の勝ちのようですね。これだからバカな理系はー。
