1.
peano belitleri doğal sayılar kümesinin tanımını vermekte kullanılan, giuseppe peano ve julius wilhelm richard dedekind tarafından ortaya konmuş dört temel ve bir yardımcı aksiyomdur.
verilen küme boş değildir. 1 adı verilen bir nesne içerir.
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.
ardılı 1 olan hiçbir doğal sayı yoktur.
iki doğal sayının ardılları eşitse, bu iki doğal sayı da eşittir.
eğer herhangi bir doğal sayı topluluğu 1'i 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.
devamını gör...