问答题 证明：A×B≈B×A。

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

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