在老师们博客上的讨论之：下定义不那么容易