度忘れした。

カラスが全部黒いことを証明
するには全部のカラスを調べるのでなく、
黒くないカラスを探してそれがいなかったとき、
全てのカラスが黒いと証明されるってやつ。
あれなんだっけ?名前。

中学で習ったんだが･･･