有限集合的“势”(cardinality) Theorem 21.6. Let A be a nonempty finite set.There is a unique positive integer n such that A≈(1，..，n 正因为这样的的唯一性，可以定义集合的“势”。 问题10： 如果不唯一，怎样能构造出与 “鸽巢原理”的矛盾来？有限集合的“势”(cardinality) 正因为这样的n的唯一性，可以定义集合的“势