Dedekind - Peano Aksiyomları
Doğal sayıları inşa etmede bir aksiyomlar topluluğu.
Doğal sayıların tüm özelliklerinin çıkarılabildiği bu aksiyomlar şunlardır:
1) 1, bir doğal sayıdır;
2) Her a doğal sayısıyla, onun ardışığı denilen bir a+ doğal sayısı tek türlü eşlenir;
3) 1, hiçbir doğal sayının ardışığı değildir;
4) Her bir doğal sayının ardışığı yalnızca bir tanedir;
5) Doğal sayılardan oluşan bir küme, 1 doğal sayısını ve a doğal sayısıyla birlikte onun ardışığını da içerirse, bu küme, doğal sayılar kümesinin aynısıdır. Bu aksiyomlarla kurulan doğal sayılar kümesinin, sıfırı içermediği kolayca görülür.
MsXLabs.org & Morpa Genel Kültür Ansiklopedisi
