3定义与命题