弱整序集的若干定理和超穹归纳法

将整序集上的若干主要定理和超穹归纳法推广到弱整序集上，使得超穹归纳法得到一更为广泛的应用。