Реши задачку

ИМХО числовой ряд, и понятие больше-меньше постулизируются, т.е. доказывать здесь нечего - это так по определению.
Или я чего-то не понял.

Ммдаа.
Наличие чего-то (1) занимает больше (места, времени), чем отсутствие (0).

Кстати, единица, в отличие от нуля, понятие абстрактное. Не существует в природе, ить туды ее в качель, ни единиц, ни двоек. Это мы так, для упрощения жизни считаем.

Короче, судя по всему горячий спор, который разгорелся по поводу этой задачки, привел к наличию огромнейшего количества мнений и выссказываний, в которых просто не возможно разобраться.
Видимо Зигу придется уже предложить в ответ на это изобилие версий свой вариант.

Зря я эту задачку дал. Простая - но слишком абстрактная. Для Сани Кушелева была бы в самый раз - весёленькой.
То, что 1>0 - вовсе не постулат. Вот всё, что определяет класс действительных чисел: замкнутость, коммутативность, ассоциативность, дистрибутивность, транзитивность, "0" (a+0=a), "1" (a*1=a), упорядоченность (a>b, если a=b+x, где х>0). Дальше, как в любой другой игре: правила даны - вперёд!

Почемуто вспомнилось:

Докажем, что все числа равны между собой.
Пусть есть числа A и B. Причем A>B. Тогда существует С такое, что А=С+В.
Умножим это равенство на (А-В)

А(А-В)=(С+В)(А-В)
А2-АВ=АС+АВ-ВС-В2
А2-АВ-АС=АВ-В2-ВС
А(А-В-С)=В(А-В-С)
А=В

Обратите внимание, А-В-С=0. А в школе учили, что делить на него...