>>784
全称命題の演繹
すべてのリンゴは赤い：真
とする

このとき
本当にすべてのリンゴを確かめた訳ではないので
個別のリンゴが本当に赤いかどうかはわからない
そういう意味で全称命題の不存在性と言っています