Дай краба!

Довольно часто в математике для формализации той или иной идеи используется временная нотация. Эдакий зомби, который определяется через ключевые свойства рассматриваемого предмета. После чего демонстрируется, что, в силу определения, «зомби» неотличим от оригинала. В частности, когда конструируются целые числа, то зачастую в целях выразительности вводится конструкция вида “a 🦀 b”, где крабик не имеет собственного смысла. Технически, речь идет о фактормножестве отношения эквивалентности на множестве пар натуральных чисел таком, что a 🦀 b = c 🦀 d, только если a+d = b+d. В курсе анализа мы показываем, что крабик ведет себя как a — b, после чего больше к нему не возвращаются до тех пор, пока не появляется необходимость придумать новые числа (в этом случае вводится какой-нибудь 🦔 или ☃️). К чему я это пишу? А к тому, что иногда мне кажется, что людям, занимающимся «гуманитарными исследованиями» (а сейчас чуть не каждый, кого ни спроси, исследует что-то гуманитарное), стоит научиться расставаться со своими крабами.