定义是不是公理的一种?定义与公理、命题的关系