В тему.
(Оффтоп)
Если кто-то сюда забредет, но ничего не поймет в этой "простой формуле" (как я, например) - вот пост на хабре, в котором все разложили по полочкам:
https://habr.com/ru/post/263067/NB. Краткая выжимка: Бурали-Форте, будучи одним из пионеров математической логики, придумал свои обозначения, поэтому они отличаются от привычных современным математикам - канторовских. Так,
- это
,
- множество упорядоченных множеств,
- множество одноэлементных множеств. Таким образом, в фигурных скобках стоит не что иное, как множество упорядоченных одноэлементных множеств.
- функция, возвращающая ординал множества (разумеется, это уже единица - но... еще не вполне: пока это множество, состоящее из единицы), а трудноидентифицируемая закорючка спереди - оператор, возвращающий единственный элемент одноэлементного множества. То есть теперь уже точно единица.