HOMELv016 カントールの対角線論法は何を証明するために用いられたか。 2026年4月27日 実数と自然数の間に一対一対応が作れないことを背理法で示した。 反復法において、前回の計算値をすぐに次の成分の計算に利用する手法はどれか。 正方行列 $A$ が対角化可能であることと等価な条件はどれか。