すべてのカラスが黒いかを調べるためには、すべての黒くないものを調べてその中にカラスが一匹もいなければいいので、カラスを一匹も調べることなく証明できるという背理法的証明の手法。

別名カラスのパラドクス。