证明,所有可数良序集是同构的