Аксьомы Пеяно

[Test-WP/chal |Головна сторонка]]

Аксьомы Пеяно

Аксьомы, которы ввесявшы италлянским математиком Джузеппе Пеяно по пределенне натуральных числов:

1) 1 - натурально число.

2) Гля кожново натуральново числа n иснуйот число S(n), которо айдат за n.

3) Гля кожново n, S(n) не 1.

4) Еси S(n)=S(m), то n=m.

5) Деит принцып полной индукцы.

Аксьомы Пеяно - подошва шшасной математики, ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных системов аксьомов.