大家好呀😄😄😄我现在在学习皮亚诺数学公理,遇到了一个问题,就是在定义加法的时候,定义了两个规则,一个是m+0=m,另一个是m+n'=(m+n)',后来我发现,这两个规则互相冲突,因为m+0=(m+?)'但是我发现这个式子根本不存在,因为它本身就违反了皮亚诺第3条公理,所以问一下b站的大佬们,为什么呢?😳😳😳