一個人的自言自語 » 讨论
什么是自然数

https://philosophy.stackexchange ... is-a-natural-number

感觉到自然数和 Boolean 之间有一种对偶。可以认为是用于描述“什么事物”的工具。

Boolean 值用于区分了有和无，而自然数用来描述的 counting。

可是 counting 是什么？这倒也需要说明。只能说确实这玩意很难解释……总不能说我在空集外面的 bracket 个数自然形成了 counting……

有点 weird 的问题，但是感觉不够有趣