Difference between revisions of "Аксьомы Пеяно"

С Сибирска Википеддя
Айдать на коробушку Айдать на сыскальник
Content deleted Content added
No edit summary
 
*>Timichal
m Robot: Automated text replacement (-\[\[(T|t)est-(WP|wp)\/chal\/ +[[)
 
(8 intermediate revisions by 7 users not shown)
Line 1: Line 1:
[Test-WP/chal |Головна сторонка]]

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


[[Test-wp/chal/аксьома|Аксьомы]], которы ввесявшы италлянским математиком [[Test-wp/chal/Джузеппе Пеяно|Джузеппе Пеяно]] по пределенне [[Test-wp/chal/натуральны числа|натуральных числов]]:
[[аксьома|Аксьомы]], которы ввесявшы италлянским математиком [[Джузеппе Пеяно|Джузеппе Пеяно]] по пределенне [[натуральны числа|натуральных числов]]:


1) 1 - [[Test-wp/chal/натуральны числа|натурально число]].
1) 1 - [[натуральны числа|натурально число]].


2) Гля кожново [[Test-wp/chal/натуральны числа|натуральново числа]] n иснуйот число S(n), которо айдат за n.
2) Гля кожново [[натуральны числа|натуральново числа]] n иснуйот число S(n), которо айдат за n.


3) Гля кожново n, S(n) не 1.
3) Гля кожново n, S(n) не 1.
Line 15: Line 13:
5) Деит принцып полной индукцы.
5) Деит принцып полной индукцы.


Аксьомы Пеяно - подошва шшасной [[Test-wp/chal/математика|математики]], ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных [[Test-wp/chal/аксьомна система|системов аксьомов]].
Аксьомы Пеяно - подошва шшасной [[математика|математики]], ибо ихним несупративореччом избатоваются несупротивореччи всех дружных математишных [[аксьомна система|системов аксьомов]].
[[Category:Siberian]]
[[Category:Алгебра]][[Category:Математика]]

Latest revision as of 18:11, 5 Грязника 2006

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

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

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

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

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

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

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

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