実数は可算無限であることの証明

Masaki Koga氏のYouTube動画は私的にお勧めです。