数学命题就是数学定理。