Peano aksiyomları
Peano aksiyomları, 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. Bu aksiyomlar:
a. Verilen küme boş değildir.