作为对有限集使用类似归纳的方法的一个例子,在第3章的结尾自然的增加关于有限集合的最大元和最小元的存在性的命题 3.6.9,这将方便良序原理的证明。 Signed-off-by: 方而静 <szdytom@163.com>