Dedekind-Peano Aksiyomları Hakkında Bilgi

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.