Peano aksiomalari sonlar nazariyasining asosiy qoidalarini ifodalaydi va natural sonlar ko'payish, qo'shish kabi amallarni aniqlaydi. Bu aksiomalar olti qismdan iborat va barcha arifmetik xossalar hosil qilinishi mumkin