超穷论法相关论文
给出了序集Ｗ为半整序集的充要条件是Ｗ的非空真前段有形Ａ（ｘ０）及Ａ「ｘ０」。在半整序集上建立了超穷归纳不原理：设Ｗ是一个半整序集，Ｐ是一个性质，如果下......
将整序集推广至包括正整数序集，负整数序集，整数序集，整序集，泛整序集的半整序集，给出了序集Ｗ为半整序集的充要条件。......
