peano aksiyomları

• dort temel ve bır yardımcı aksıyomdan olusan peano aksıyomlariyla dogal sayilar insa edilir.
  
  aksiyomlar:
  a. sifir bir dogal sayidir.
  
  b. her doğal sayı için onun ardılı denilen başka bir doğal sayı ve yalnızca bir doğal sayı vardır.
  
  c. ardılı 0 olan hiçbir doğal sayı yoktur.
  
  d. iki doğal sayının ardılları eşitse, bu iki doğal sayı da eşittir.
  
  e. eğer herhangi bir doğal sayı topluluğu sifiri içeriyorsa ve herhangi bir doğal sayıyı içerdiğinde o doğal sayının ardılını da içerme özelliği varsa, o zaman bu topluluk gerçekte bütün doğal sayıları içerir.
  
  not: bu aksiyomlarda dogal sayilar sifirdan baslatilmistir. bazi matematikciler dogal sayilarin birden basladigini iddia eder.
  bu aksiyomlara adini veren matematikci icin (bkz: giuseppe peano)
  bu isin matematikteki felsefesi icin (bkz: mantikcilik)