Автор говорит о своей неприязни к формальной математике. Ссылка на патреон https://www.patreon.com/michael_arest