全称量化子