皮亚诺算术

让 $(\ cdot)$为自然数集中的后继函数 $N \ mathbb$．计算 $S (S (S (0))) + S (S (S (S (S (0))))) \;．$

你可以参考wiki:皮亚诺公理．