პეანოს აქსიომები

პეანოს აქსიომები — ნატურალურ რიცხვთა მწკრივის აქსიომატიკა, რომელიც შემოიღო 1889 წელს იტალიელმა მათემატიკოსმა ჯუზეპე პეანომ. ამ აქსიომათა არსი მდგომარეობს შემდეგში: 
1 არის ნატურალური რიცხვი. 
ყოველი ნატურალურ რიცხვს აქვს მომდევნო ნატურალური რიცხვი; 
1 არ არის არც ერთი ნატურალური რიცხვის მომდევნო. 
თუ a ნატურალური რიცხვი მოსდევს b და c ნატურალურ რიცხვებს, მაშინ b ემთხვევა c-ს. 
თუ რომელიმე წინადადება დამტკიცებულია 1-თვის და დაშვებიდან, რომ ეს წინადადება ჭეშმარიტია n-თვის, გამომდინარეობს წინადადების ჭეშმარიტობა n-ის მომდევნო ნატურალური რიცხვისათვის, მაშინ ეს წინადადება ჭეშმარიტია ყოველი ნატურალური რიცხვისათვის.

ლიტერატურა

კატეგორია:რიცხვთა თეორია