自由实验区¶ 修改小规模输入，比较预测、执行日志和最终值。这里的目标是验证对实现的理解。 运行前预测 先写下基例会在何时出现、递归会返回几次，再运行代码。 实验 · 自然数递归 尚未运行 from peano import config_log, natural_number config_log(log_level=4, max_lines=20, locale="zh-Hans") left = natural_number(2) right = natural_number(2) print(left + right) ▶ 运行 重置环境 ⌘ / Ctrl + Enter 输出 请先写下预测，再运行。 继续探索¶ 尝试把两个输入改成 3 和 1。不要使用大数：本库有意用一元结构换取可读性。