2) Определение натуральных чисел из википедии:
"Натуральные числа (естественные числа) — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления)".
Это не определение, это т.н. интуитивное понимание, но не определение. Определение натуральных чисел по Фреге (словесное, специально для ТС) из Вики вот:
Цитата:
1.
является натуральным числом;
2. Число, следующее за натуральным, также является натуральным;
3.
не следует ни за каким натуральным числом;
4. Если натуральное число
непосредственно следует как за числом
, так и за числом
, то
и
тождественны;
5. (Аксиома индукции) Если какое-либо предложение доказано для
(база индукции) и если из допущения, что оно верно для натурального числа
, вытекает, что оно верно для следующего за
натурального числа (индукционное предположение), то это предложение верно для всех натуральных чисел.
Обратите внимание, что натуральные числа определяются неявно, вместе с предикатами "следующий за" и с аксиомой индукции.
Настоятельно рекомендуется почитать о том, что такое определение хотя бы здесь:
http://ru.wikipedia.org/wiki/%D0%9E%D0% ... A%D0%B0%29Математические определения строже, нежели описания типа
"Натуральные числа (естественные числа) — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления)".
Они должны удовлетворять ряду требований. Они должны быть корректны, непротиворечивы, не содержать круга в определении, определять новый термин через термины, уже определенные или полагаемые интуитивно понятными (напр., таким является термин "множество"), возможно еще что-то.
То, что Вы из Вики привели математическим определением не является хотя бы потому, что основывается на понятии "счет", которое у нас не определено (и вообще - берется из реальности).
Рекомендуется ознакомиться с несколькими математическими определениями, чтобы было понятно, о чем идет речь (почитайте определения и аксиомы геометрии, теории групп, теории колец, теории чисел).