|
|
本帖最后由 elim 于 2025-10-15 07:42 编辑
滚驴确切计数法是集合元素的计数方法.\(\mathbb{N}\)的驴
计数为 \(\lim n\). 因 \(\small S_k=\{n+k\mid n\in\mathbb{N}\}\)与\(\mathbb{N}\)对等,
其驴计数也是 \(\lim n\). 又因驴计数的确切性及\(\mathbb{N}\)
可表为不交并\(\small\{i\in\mathbb{N}:i< k\}\cup S_k\)得到滚驴确切
计数公式 \(\lim n=k+\lim n\small\,(\forall k\in\mathbb{N})\).
可见滚驴确切计数没有让\(v{\small\,=}\lim n\)的后继大于
\(v\), 圆不了认它为自然数的谎.
集合论指出, 有限集的确切计数在无穷集上只能
扩充成不合皮亚诺算术的基数(有限集的基数即
其计数). 说白了, 同势的集合在任何计数法下的
计数结果和算术必须相同. 这迫使 势(基数)是唯
一合理的集合计数. 集论白痴的合乎皮亚诺算术
的一般计数法仅为一妄念. 滚驴确切计数法泡汤.
|
|