全称量化子∀