20/03/18 18:12:11.04 +trcnple.net
全称命題 すべてのカラスは黒い
これから
ある1匹のカラスは黒い
を言えるかという問題がある
コンピュータ屋はもちろんそう言えると回答するだろう
しかし数学や論理学ではそうとも言えない
なぜなら全称命題には存在性がないからだ
つまり本当にすべてのカラスを観たわけではないので
ある1匹のカラスは黒くない可能性がある
この立場から言えば1と∞とを対応付けられるという理屈は間違っていると言える
1を定義することはできるが無限(すべてのカラス)を観たものはいない