?

Log in

No account? Create an account
hor
DSSh
Не нашли противоречия, перебрав очень много вариантов... значит истинно... 
30-июл-2012 09:07 pm
hor
http://elementy.ru/lib/164681 - отличная статья!

ЗЫ. Сходил посмотреть на Аксиомы Пеано - http://ru.wikipedia.org/wiki/Аксиомы_Пеано - но вот что интересно, под эти аксиомы подходит некоторый бесконечный граф, у которого ребра определены через отношение S, есть начальная вершина, нет ветвления и нет двух прообразов... но ничто не противоречит тому факту, что может быть любое количество циклов, не связных с "генеральной линией". У нас в школе (не в той) множество натуральных чисел определялось, если я не путаю, как пересечение всех множеств с единицей, на которых определена операция сложение. Последнее определение позволяет избежать двусмысленности с циклами при взаимной упорядоченности. А вот позволяет ли его избежать "индуктивность" 5-й аксиомы Пеано, мне не очевидно.
Comments 
11-авг-2012 08:03 pm
Ммммм.... Сижу на работе, голова уже не варит, но вспомнилось такое. Оно правда описывает не множество N, а понятие натурального числа: "Натуральное число - есть эквивалент класса конечных равномощных множеств"
This page was loaded ноя 23 2017, 6:52 pm GMT.