Difference between revisions of "Аксьомы Пеяно"
Айдать на коробушку
Айдать на сыскальник
*>Incubator import m (Test-WP/chal/Аксьомы Пеяно moved to Аксьомы Пеяно) |
*>Timichal m (Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[)) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''Аксьомы Пеяно''' | '''Аксьомы Пеяно''' | ||
| − | [[ | + | [[аксьома|Аксьомы]], которы ввесявшы италлянским математиком [[Джузеппе Пеяно|Джузеппе Пеяно]] по пределенне [[натуральны числа|натуральных числов]]: |
| − | 1) 1 - [[ | + | 1) 1 - [[натуральны числа|натурально число]]. |
| − | 2) Гля кожново [[ | + | 2) Гля кожново [[натуральны числа|натуральново числа]] n иснуйот число S(n), которо айдат за n. |
3) Гля кожново n, S(n) не 1. | 3) Гля кожново n, S(n) не 1. | ||
| Line 13: | Line 13: | ||
5) Деит принцып полной индукцы. | 5) Деит принцып полной индукцы. | ||
| − | Аксьомы Пеяно - подошва шшасной [[ | + | Аксьомы Пеяно - подошва шшасной [[математика|математики]], ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных [[аксьомна система|системов аксьомов]]. |
| − | + | [[Category:Алгебра]][[Category:Математика]] | |
Latest revision as of 20:11, 5 Грязника 2006
Аксьомы Пеяно
Аксьомы, которы ввесявшы италлянским математиком Джузеппе Пеяно по пределенне натуральных числов:
1) 1 - натурально число.
2) Гля кожново натуральново числа n иснуйот число S(n), которо айдат за n.
3) Гля кожново n, S(n) не 1.
4) Еси S(n)=S(m), то n=m.
5) Деит принцып полной индукцы.
Аксьомы Пеяно - подошва шшасной математики, ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных системов аксьомов.