По-моему, надо просто ввести соответствующее упорядочение и констатировать, что записи все время убывают. После чего заметить, что упорядочение полно. Разве же это трансфинитная индукция? Просто достаточно навороченная. По-моему, трансфинитная - это когда с теоремой Цермело.

(Reply to this) (Thread)

В точку.

Интересно, что бы сказали про такую задачку ультрафинитисты?

(Reply to this) (Parent)