淡定，一大类帖子看了标题就不必点进去看了，心里默默吐槽一下不必非这样写下来，毕竟，这很没意义。

@wangkun025 比如我家多猫，可以避免它们彼此造成不必要的严重抓伤。

@wangkun025 剪指甲是必要的，对人对猫都有利。

C++有 invariant 这个概念，可以去了解一下

@QingchuanZhang 没事，不客气~

@QingchuanZhang 对啊，但“自然数必须是 0 的有限次后继”这种表达很不严谨：

首先“有限”这个地方是口语的，模糊的，缺乏定义的

其次“必须是”这个地方它不符合构造主义的哲学，也不能算是公理化的用词。

相比之下原文中对数据归纳法的表达可以更好的称为第五条公理。

@QingchuanZhang 对啊，事实上在没有“数学归纳法”帮助的情况下你也不好去说哪些不是自然数，不信你可以试试看能不能表达出一个公理把自然数集限制在只包含 0 和 0 的后继者。

@QingchuanZhang

第一条说 0 是自然数
第二条说，如果 n 是自然数则 n++也是自然数

逻辑上你怎么能推出“自然数必须是 0 的有限次后继”的呢？

@QingchuanZhang 所以我问你“不满足哪条了”，你也没回答我，其实答案就是“并没有违背前 4 条”

@QingchuanZhang 不需要有公理去声明这件事情，重点是前四条公理无法排除 { 0#这种元素可能存在于“自然数集”中 } 这件事儿。

@QingchuanZhang 不满足哪条了？

配一副好眼镜

用了两年多 sb2 感觉挺好的，我先看看以旧换新吧

如果你想看懂一个框架的源代码，一个通用的最优方案是：自己尝试做一个类似的框架，不指望能做出来，但实践过后再去看就能懂。

这女朋友能要？

@ryncv 把你的例子改成 function test(list) { list.pop() } 会好很多，不必要的那次赋值会让搞不懂的人更加困惑。

能遇到并且问出这个问题，至少标志着 lz 的编程能力即将入门了