一加一等于二是公理还是定义?