超穷序集及超穷论法

给出了序集Ｗ为半整序集的充要条件是Ｗ的非空真前段有形Ａ（ｘ０）及Ａ「ｘ０」。在半整序集上建立了超穷归纳不原理：设Ｗ是一个半整序集，Ｐ是一个性质，如果下列例题成立，则Ｗ的所有元素均具有性质Ｐ。（１）若α〈ｘ〈β具有性质，则，α，β具有性质Ｐ；（２）一串不具有性质Ｐ的点 极限点亦不具有性质Ｐ。