Levy, An Unusual Proof that the Reals are Uncountable
http://jp.arxiv.org/abs/0901.0446
とする.
とおくと, で,
の任意の有限部分集合 に対し,
とおくと,[tex:0x\},\quad c=\sup C]
とおくと, より,
があって,
より,
ゆえに
これは のとり方に矛盾する.
http://jp.arxiv.org/abs/0901.0446
とする.
とおくと, で,
の任意の有限部分集合 に対し,
とおくと,[tex:0x\},\quad c=\sup C]
とおくと, より,
があって,
より,
ゆえに
これは のとり方に矛盾する.