| 词条 | 超限归纳法 |
| 释义 | § 超限归纳法 § 正文 容易看出,Χ的良序性是定理成立的重要依据，倘若把它改为Χ是全序集，则Χ的非空子集可以没有最小元素,命题就不成立了。当Χ为自然数集N时，就得到上述定理的一个常用的特殊情况,称为数学归纳法，表述为：若E嶅N，满足①0∈E；②对于任何n∈N,如果由一切小于n的自然数k∈E,可以推出n∈E，则E=N。其中一切小于 n的自然数k∈E相当于Nn嶅E,而0∈E则是的结果。在引进“类”概念的前提下，超限归纳定理可以叙述为：设C是一个序数类,如果①0∈C；②若α∈C,可得α┡=α+1∈C；③若α为极限序数，并且对一切β<α，β∈C，就必然有α∈C,则C是所有序数的类。 § 配图 § 相关连接 |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。