Аксьомы Пеяно
Revision as of 20:11, 5 Грязника 2006 by *>Timichal (Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[))
Аксьомы Пеяно
Аксьомы, которы ввесявшы италлянским математиком Джузеппе Пеяно по пределенне натуральных числов:
1) 1 - натурально число.
2) Гля кожново натуральново числа n иснуйот число S(n), которо айдат за n.
3) Гля кожново n, S(n) не 1.
4) Еси S(n)=S(m), то n=m.
5) Деит принцып полной индукцы.
Аксьомы Пеяно - подошва шшасной математики, ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных системов аксьомов.