基数就是严格意义上的集合元素多寡,为什么不直接用集合大小或者元素个数来描述我觉得主要是因为所有集合的基数集合不是自然数集合的子集。换言之所有的自然数都是基数,但不是所有的基数都是自然数。
如无穷集合的基数都不是自然数。