我理解这样不行，核心是自然数的定义，不是那个算符
  
【 在 evilpig (巫珠) 的大作中提到: 】
:  然后你一加一等于3也可以定义一个加法，一加一等于4也可以定义一个加法，都可以。
:  
:  
:  【 在 rivaldo11 的大作中提到: 】
--
FROM 123.117.183.*