そして「全ての黒くないものはカラスでない」という命題は、世界中の黒くないものを順に調べ、それらの中に一つもカラスがないことをチェックすれば証明することができる。
显然，找到所有的乌鸦是不可能的，这时，需要利用反证找到不是黑色的乌鸦，或者证明“所有不是黑色的东西都不是乌鸦”。