ようやくわかりました。質問はこれ。 boar 2010/02/21 04:23 すみません、ちょっと離れた質問なんですが、アレフ１から連続体への単射で、具体的に作れる物（構成可能って言うんですか？）は存在しますか？ http://d.hatena.ne.jp/kururu_goedel/20060506/11…