计算题 （序数的超限归纳定理）令φ（x）是公式。证明：若对于任何序数α，有（∀β）（（β∈α∧φ（β））→φ（α），则对于任何序数α有φ（α）成立。

设A是一序数集合，证明或者①A没有最大元，∪AA，并且∪A是一极限序数，或者②∪A∈A，并且∪A是A的最大元。

问答题

设A是一序数集合，证明或者①A没有最大元，∪AA，并且∪A是一极限序数，或者②∪A∈A，并且∪A是A的最大元。

设G是n阶无向简单图，n≥3且为奇数，证明G与中奇度顶点的个数相等。

问答题

设G是n阶无向简单图，n≥3且为奇数，证明G与中奇度顶点的个数相等。

若对于一序数α，存在一序数β，使得α=β+1，则称α为一个后继序数。不是0也不是后继序数的序数，称为极限序数。...

问答题若对于一序数α，存在一序数β，使得α=β+1，则称α为一个后继序数。不是0也不是后继序数的序数，称为极限序数。证明：当α是非零序数时，α是一极限序数当且仅当∪α=α。