カントールの、対角線論法⊂区間縮小法 の証明は？

質問

市川秀志『カントールの区間縮小法』１９ページに、「（前略)カントールの区間縮小法（中略）をさらにエレガントにしたのが、カントールの対角線論法です。」と有ります。どの文献にその証明が出ていますでしょうか。

回答No.1

ereserve67 · ベストアンサー

高木貞治著「解析概論」（岩波書店）にあります．

お礼

早々の御回答、誠に有難う御座いました。