概念 性质 定理的意思的什么,的区别是什么?还有公理也麻烦写上