定律与定理 › 定理
Cantor's diagonal argument
proof technique in set theory
对角论证法是乔治·康托尔于1891年提出的用于说明实数集合是不可数集的证明。
摘自维基百科「對角論證法」，CC BY-SA 4.0
中文维基百科英文维基百科Wikidata
格物