怎样理解定义、定理、公理和定律?