首先,要明白“最小自然数原理"(亦称良序原理),说的是自然数集的每个非空子集都有个最小元素.所以,【1.为什么要说明S非空?】应该没有什么疑问了吧.【2.为什么t1+1比t1大了就不能属于S?比如说t1+1是{t1+n：n≥1,n∈N}中最小的,t1+1照样可以被放置在集合S中啊,难道是我想法有误?】可以反证一下,若t1+1属于S,那么请看集合S:对任意的t∈T必有s≤t.因为,t1+1∈S（这是反证的假设）,必有t1+1≤t1,显然矛盾了,所以t1+1不属于S.至于你的想法,可以这样想,显然,由命题可以知道,对于任意的s都不大于t,所以最大的s也一定小于最小的t+1,这样可以理解了吗?【3.为什么啊?】这是由数学归纳法得到的.【4.为什么啊?难道两者一相等就完成证明了?】这是因为上面这个结论“必有s0∈S使得s0+1不属于S.”它说的是必有,也就是存在的意思,显然在t0=s0的情况下,这个结论是成立的.而且还可以知道,此时,s0是集合S中最大的数,t0是集合T中最小的数.希望对你有所帮助~（以上解答有不对的地方请指教）你看的应该是潘承洞、潘承彪的《初等数论》吧,这是一本不错的教材.
关于《初等数论》中“最小自然数原理”证明的问题,中括号里的是问题.急.