问答题 证明：A≈B∧C≈D=>A×B≈B×D。

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

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