我们意欲证明,对一切n和一切S,如果S是n个人的集合,那么在S中的所有人都有同样的身材。下面“所
(a)(基础)设S是一空集合,那么对所有的之和y,如果x∈S和y∈S,那么x和y有同样的身材。
(b)(归纳)假定对所有包含n个人的集合断言是真。我们证明对包含n+1个人的集合也真。任何由n+1个人组成的集合包含两个n个人组成的不同的但交搭的子集合,用S'和S”表示这两个子集合。那么根据归纳前提,在S'中的所有人有相同的身材,在S”中的所有人有相同的身材,因为S'和S”是交搭的,所以,所有在S=S'US”中的人都有相同的身材。