存在量化と全称量化の混同