Я когда только начинал ударяться в формализм, открыл первую книжку Бурбаки, про множества и что-то такое, возможно там была и «формула единицы», и с подобным комментарием о настоящей длине подобного сокращения, так что на той странице вики как минимум не придумали это с нуля.
Лень искать книгу и место в ней, может быть кто-то уже в курсе?Ага,
в той же теме mihaild уже сослался на статью, проясняющую предмет и согласующуюся с моим текущим ощущением. Я тогда тоже, видимо, испугался и запутался, и так же не знал, что в остальных книгах Бурбаки не используют тот формализм, а теперь можно сказать даже то, что они переусердствовали с самим подходом к определению 1.
Так что,
miflin, не пугайтесь: логика, ну или как минимум достаточно современная логика, более вменяема.
Уже прошло достаточно времени, чтобы неудобные конструкции подзабылись. Если взять ZFC, в ней терм для единицы будет выглядеть очень просто:
(правда он требует двух определений, то есть это строго говоря не чистая ZFC; но обычно люди не чураются понимать определения не чисто синтаксически, необходимости делать только так совершенно ни для чего нет). Или формула, говорящая «
— это 1», будет выглядеть, и даже в чистой ZFC, как
, это полная «примитивная» запись, и даже достаточно понятная: «любой элемент
есть такое множество, что ни для какого
не верно
» (т. е.
пустое, т. е.
принадлежит только пустое множество, что означает то же самое что
).