Я Пастернака не читал, но вроде бы натуральные числа определяются как Ø, {Ø}, {{Ø}} etc. В такое поверить действительно можно. А (известным мне) математикам не нравится, что математика, которая про задачи решать, от излишней формализации только страдает. Благо приходится думать вместо дела о всяких глупостях.