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

Змесціва выдалена Змесціва дададзена
Dzivak (гутаркі | унёсак)
→‎Літаратура: +літаратура
Dzivak (гутаркі | унёсак)
Радок 17:
Натуральнымі лікамі называюцца элемэнты ўсякага непустога мноства <math>\mathbb{N}</math>, у якім для нейкіх элемэнтаў <math>a</math> і <math>b</math> існуе адносіна "<math>b</math> накіроўваецца за <math>a</math> (пазначаецца як <math>a'</math>) і задавальняе наступным [[аксіёма]]м, якія атрымалі назву [[аксіёмы Пэана|аксіёмаў Пэана]]:
 
# існуе 1, якое няне накіроўваецца ні за аднымніводным элемэнтам,
# для любога <math>a</math> існуе <math>a'</math>, якое накіроўваецца за ім, пры чымпрычым толькі адно,
# любойлюбы элемэнт накіроўваецца ня больш чым за аднімадным элемэнтам,
# любое мноства <math>\mathbb{M}</math> з уласьцівасьцямі
#* 1 прыналежыць <math>\mathbb{M}</math>,