从纯逻辑上讲，引入新公理时只需要检验与其它既有公理是否隐含冲突。如果没有，那就可以。

【 在 linqian2020 的大作中提到: 】
: 继续感谢各位的打击和关注。特别感谢lambdago，GoldenBull，fryingbird三人的回复！三位的认真回答令人感动。fryingbird提到，按照新的定义就是新的算符了，lambdago和GoldenBull算是给出了例证。那么，新的乘法算符和现有的乘法算符哪个更代表基本的四则运算，或者四则运算中的乘法和除法如果被新乘法算符所代替，是否更好？这个才是我认为的重中之重。在新的乘法算符中，不需要有限域，7进制之类的其他概念引入，只是纯粹的十进制，整数域或者实数域的运算。它比现有的乘法好的地方是，不仅仅是1*0=1，更能很好的解释负负得正。而当前四则运算对负负得正的解释非常牵强，近似于公理。期待更多人关注。最好有人给出这个简单的乘法定义。
--
FROM 210.45.77.*