25.1 单称命题、个体变项、论域