1. 0 - число. 2. Непосредственный преемник числа также является числом. 3. 0 не является непосредственным преемником любого числа. 4. Нет двух чисел не имеют одинакового непосредственного преемника. 5. Любое свойство, принадлежащее 0, и непосредственного преемника любого числа, который также имеет это свойство, принадлежит всем числам.