Это мистическое откровение, посещает после творения ряда натуральных чисел. Я пару месяцев назад задумывался об операторе "+": почему его "можно" ввести отдельно от натуральных чисел. Мне не нравились фальшивые ноты в аксиомах Пеано, я чувствовал, что оператор "+" более фундаментальная абстракция, чем натуральные числа (а они от бога!). И в теории
(
Read more... )