اصول پئانو خواص حسابی اعداد طبیعی که با یک مجموعه N یا  نمادهای غیر منطقی برای اصول، شامل یک نماد ثابت ۰ و یک نماد تابعی تک متغیره S می‌شود .
ˈosul paʔˈɑnuː xavˈɑs hˈesɑbˌi ˈaʔdɑd tˌabiʔˈi kˈeː bɑ jˈek mˌadʒmuːʔˈeː (en)ˈɛn(fa) jɑː nˈamˈɑdhˈɑje q1ˈejr mantˈeq1i barˈɑje ˈosul ʃˈɑmel jˈek nˈamˈɑd sˈɑbet sˈefr vˈa jˈek nˈamˈɑd tˈɑbeʔˈi tˈak mˌoteq1ajjˈereː (en)ˈɛs(fa) miʃavˈad .