Изменения

*Любые равные конечные подмножества натуральных чисел изоморфны по теореме [[th1|теореме 1]].*Множество рациональных чисел некоторого интервала <tex> (a,b) </tex> и множество <tex> Q </tex> изоморфны. Доказательство по [[#th2|теореме 2]].*Тождественное отображение всегда является автоморфизмом.*Не существует автоморфизма упорядоченного множества <tex> N </tex> натуральных чисел, отличного от тождественного. Для <tex> Z </tex> это утверждение уже, очевидно, неверно.