2 定义与命题

2 定义与命题