разжуйте мне это доказательство

[zxvenom]

Почему даже у таких простых теорем такие сложные доказательства?

[Dlacier]

Можно что либо объяснить, если у человека есть конкретные вопросы.
Задавайте их.

[zxvenom]

Входит ли ноль в натуральный ряд? (в этой книге вроде как входит)
Что такое нижняя граница? Что будет нижней границей для, например, множества {4,5,7}: число 3 или число, почти равное 4 но чуть-чуть меньше?
Почему u входит в R_+ ? Нижняя граница должна быть меньше любого числа из множества S, и если 0 входит в S, то u будет меньше нуля.
Зачем доказывать, что u < u+1 ? (Или это не доказательство, просто разжевали чуток. Напомнили, что это число, а потом сказали, что числа можно складывать и сравнивать.)
И я не пойму последнее "следовательно".

[Белый кролик]

Про ноль.
Математики еще сами не разобрались,входит ли ноль в натуральный ряд.Одни говорят,что входит,другие-нет.Дело вашего вкуса считать ноль натуральным али не считать.