Dedekind theorem

也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理（英语：Dedekind theorem）、參考分劃）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。

高斯整数, 高斯有理数 二次域 (Quadratic field) 代数数域 戴德金整環 (Dedekind domain) Global field 理想類群 Class number problem for imaginary quadratic fields Stark-Heegner 定理 黑格纳数

numbers, and what is their meaning?: Dedekind. 2001 [2022-12-29]. （原始内容存档于2022-10-26）.  Commentary on Dedekind's work. 本條目含有来自PlanetMath《PA》的內容，版权遵守知识共享协议：署名-相同方式共享协议。

consequence of the Kronecker–Weber theorem（英语：Kronecker–Weber theorem）, for example, that the Dedekind zeta function（英语：Dedekind zeta function） ζ K ( s ) = ∑

significance of Frege's theorem, and his mathematical and intellectural background. Gillies, Douglas A., 1982. Frege, Dedekind, and Peano on the foundations