问题3：如何精确定义什么是有限集？ We say that a set Sis finite ifeither =or ifs is equivalent to the set(1,23,... for sme positive inteer. 更加数学化的表述：（每一个自然数也是一个集合） 空集记为0； 如果是自然数，则其“后继”为：k心3。 于是 有限集就是与某个自然数等势的集合。问题3：如何精确定义什么是有限集？ 更加数学化的表述：(每一个自然数也是一个集合) 空集记为0； 如果k是自然数，则其“后继”为: k  {k} 。 于是： 有限集就是与某个自然数等势的集合