关于《初等数论》中“最小自然数原理”证明的问题,中括号里的是问题.急.

题目

关于《初等数论》中“最小自然数原理”证明的问题,中括号里的是问题.急.
考虑由所有这样的自然数s组成的集合S：对任意的t∈T必有s≤t.
由于1满足这样的条件,所以1∈S,S非空.【1. 为什么要说明S非空?】
此外,若t1∈T（因T非空所以必有t1）,则 t1+1＞t1,所以t1+1不属于S.【2. 为什么t1+1比t1大了就不能属于S? 比如说t1+1是{t1+n：n≥1,n∈N}中最小的,t1+1照样可以被放置在集合S中啊,难道是我想法有误?】
由这两点及归纳原理就推出：必有s0∈S使得s0+1不属于S.【3.为什么啊?】
我们来证明必有s0∈T.因若不然,则对任意的t∈T必有t＞s0,因而t≥s0+1.
这表明s0+1∈S,矛盾.取t0=s0就证明了最小自然数原理 【4. 为什么啊?难道两者一相等就完成证明了?】
十分期望各路大神相助,万分感谢.

答案

首先,要明白“最小自然数原理"(亦称良序原理),说的是自然数集的每个非空子集都有个最小元素.所以,【1.为什么要说明S非空?】应该没有什么疑问了吧.【2.为什么t1+1比t1大了就不能属于S?比如说t1+1是{t1+n：n≥1,n∈N}...