存在量化とドメイン