>>675
「全てのxについて成り立つ」の否定は「あるxについて成り立たない」