定义与命题,关于定义与命题的所有信息