Натуральны лік: Розніца паміж версіямі

З Вікіпедыі, свабоднай энцыклапедыі
[недагледжаная версія][недагледжаная версія]
Змесціва выдалена Змесціва дададзена
др робат Дадаем: tl:Likas na bilang
др робат Мяняем: sq:Numrat natyralë
Радок 85: Радок 85:
[[sk:Množina prirodzených čísel]]
[[sk:Množina prirodzených čísel]]
[[sl:Naravno število]]
[[sl:Naravno število]]
[[sq:Numrat natyral]]
[[sq:Numrat natyralë]]
[[sr:Природан број]]
[[sr:Природан број]]
[[sv:Naturliga tal]]
[[sv:Naturliga tal]]

Версія ад 04:04, 20 чэрвеня 2009

Натура́льны лік - любы з лікаў, што выкарыстоўваюцца пры пералічэнні.

Мноства натуральных лікаў абазначаецца сімвалам .

Больш фармальнае вызначэнне мноства натуральных лікаў (аксіёмы Пеана):

  • 1 з'яўляецца натуральным лікам:
  • кожны натуральны лік мае адзін натуральны лік, які з'яўляецца наступным да яго:
  • 1 не з'яўляецца наступным ні да якога з натуральных лікаў:
  • калі нейкі натуральны лік з'яўляецца наступным да двух натуральных лікаў, то гэтыя два лікі супадаюць:
  • калі нейкая ўласцівасць P мае месца для 1, а таксама для любога S(n) пры ўмове, што яна справядлівая для n, то яна мае месца для ўсіх натральных лікаў:

Апошняя аксіёма з'яўляецца фармулёўкай прынцыпа поўнай індукцыі.

Апошнім часам назіраецца тэндэнцыя разглядаць у якасці найменшага натуральнага ліка не 1, а 0.

Шаблон:Link FA