问答题
计算题
（序数的超限归纳定理）令φ（x）是公式。证明：若对于任何序数α，有（∀β）（（β∈α∧φ（β））→φ（α），则对于任何序数α有φ（α）成立。
【参考答案】
点击查看答案
