По этому поводу уместно процитировать А. Пуанкаре, который, анализируя проблему аксиоматизации арифметики в главе "Математика и логика”, пишет. ”.. . Бурали-Форти определяет число 1 следующим образом 1 = сТ>{Ко (и, Л)е(ие£/п)}. Это определение в высшей степени подходит для того, чтобы дать