Користувач:Галактион/Натуральне число
Подстраница "Користувач:Галактион/Натуральні числа" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Натуральне число". Галактион 20:43, 4 березня 2010 (UTC)
Аксиомы Пеано ред.
- Прмечание
- Это предложение гарантирует, что множество не пусто, так как
,
- что равносильно
- Примечание
- Последнее предложение можно переписать в следующем виде
- Это предложение означает, что существует функция
,
- что равносильно
- Примечание
- Это предложение означает, что функция - инъективна.
- что равносильно
- Примечание
- Это предложение гарантирует, что инъективная функция монотонно возрастает, то есть
- Примечание
- Это предложение называется аксиомой математической индукции.
Свойства множества натуральных чисел ред.
Количество элементов
,
- что равносильно
Порядок
Сложение
Умножение
Связи
--Галактион 22:59, 11 травня 2009 (UTC)