定义、命题、定理等概念