universally quantified variable

英 美
  • 全称量词化变元