公理と定義の違いって?