试发一篇—— 我们讨论一个语言的“原生态”的时候，喜欢去掉一切不相关和非必要的特性，追求一个轻的、朴素的核心，而搞数学的家伙更是乐于把不要的东西全全都去掉，这不，Church计数告诉我们，如何完全不使用“数“来进行自然数的定义与演算