peano aksiyomları

• 1. 1 dogal sayıdır.
  2. her bir x dogal sayısı için bir x' ardıl sayısı vardır.
  3. 1 her x dogal sayısı için x' tir (ardıldır)
  4. eger x'=y' ise x=y dir.
  5. eger q soyle bir ozellik ise:
  - 1 in özelligi q dur
  - eger x in özelligi q ise x' in de özelligi q ise
  6. sonuç olarak q butun dogal sayıların özelliklerini kapsar.
  
  kaynak:
  http://www.shu.edu/…cts/reals/logic/defs/peano.html