text: С помощью трансфинитной индукции можно показать, что любое вполне упорядоченное множество подобно ровно одному ординалу — иначе говоря, между ними можно установить биективное соответствие, сохраняющее порядок.