http://www9.ocn.ne.jp/~noenergy/math1-a.htm
連続体仮説の否定の証明だそうだ