定义、命题与定理