Действительные числа

Помимо "алгебраических" свойств, класс положительных целых, или натуральных, чисел 1, 2, ... обладает свойством упорядоченности (n > m, если n = m + x, где x - некоторое натуральное число) и полной упорядоченности (каждое непустое множество натуральных чисел имеет наименьший элемент). Множество натуральных чисел, содержащее число 1 и для каждого из своих элементов n следующий за ним элемент n + 1, содержит все натуральные числа (принцип полной индукции).