Я Пастернака не читал, но вроде бы натуральные числа определяются как Ø, {Ø}, {{Ø}} etc. В такое поверить действительно можно. А (известным мне) математикам не нравится, что математика, которая про задачи решать, от излишней формализации только страдает. Благо приходится думать вместо дела о всяких глупостях.
no subject
Date: 2011-05-19 12:33 pm (UTC)