Цитата из: Вечер on 25-04-2003, 16:01:32
Цитата:
Плюх в лужу! Это - как раз аксиома, а точнее - определение числа 2.
- плюхнулся, дорогой мой, ты а не я. Докажи мне логически, что 1+1=2, более того, скажи мне, что значит знак "=". Такимим вещами современная теоритическая математика и занимается. Эти вещи
доказаны.
Вот не надо путать "формально построены" и "доказаны".
Арифметика первого курса:
1.
Рассматриваются уже знакомые на данном этапе
понятия множества, мощности и равномощности множеств, конечной и бесконечной мощности.
2.
Вводится определение суммы мощностей как мощности множества, образованного непересекающимися подмножествами с исходными мощностями.
3.
Доказываются такие
свойства суммы мощностей, как ассоциативность и коммутативность.
4.
Вводятся числа 0 и 1 как мощности пустого множества, и мощности множества всех подмножеств пустого множества.
5.
Доказывается, что 0 - единичный элемент для операции суммы мощностей.
6. Далее,
определяются числа 2, 3, 4 ..., как я уже описывал.
7. Ну и
доказывается куча частных фактов вроде 2+2=4.
Цитата из: Вечер on 25-04-2003, 16:51:05
офф: Решил пока что поискать, что есть в сети, нашел вот такую шикарную вещь:
Цитата:
Строгое определение числа 1 заняло бы не один десяток страниц, а формула типа 1 + 1 = 2, если записать ее во всех подробностях без каких-либо сокращений, протянулась бы на несколько километров.
, так что твое
определение числа 2 не катит

Я в сети тоже много ерунды могу найти. Видно, что писали, не особенно отвечая за свои слова. Если посмотреть выше, то получается, что на формулу 1 + 1 = 2 нужно ненамного больше бумаги, чем на определение числа 1.