全称命題　すべてのカラスは黒い

これから

ある1匹のカラスは黒い

を言えるかという問題がある
コンピュータ屋はもちろんそう言えると回答するだろう
しかし数学や論理学ではそうとも言えない
なぜなら全称命題には存在性がないからだ

つまり本当にすべてのカラスを観たわけではないので
ある1匹のカラスは黒くない可能性がある
この立場から言えば1と∞とを対応付けられるという理屈は間違っていると言える
1を定義することはできるが無限(すべてのカラス)を観たものはいない