定义与命题 (2)