این بر اساس بدیهی سازی خصوصیات اعداد ترتیبی است: هر عدد طبیعی یک جانشین دارد و هر عدد طبیعی غیر صفر یک سلف منحصر به فرد دارد .
iːn bar ˈaːsˈɑs badˈihi sˈɑzi xˌosusˈiɑt ˈaʔdɑd tartˈibi ˈast: har ˈadad tˌabiʔˈi jˈek dʒɑnˈeʃin dˈɑrad vˈa har ˈadad tˌabiʔˈi q1ˈejr sˈefr jˈek sˈelf monhˈaser beː fˈard dˈɑrad .