روش صوری‌تر برای بیان استقرای ریاضی (بدون استفاده از «ویژگی» های عدد) این است که A یک مجموعهٔ ناتُهی در نظر گرفته شود و شرط گذاشته شود که
rˈaveʃ sˈuːritar barˈɑje bˈajɑn ˌesteq1rˈɑje riˈɑzi bedˈuːn ˌestefˈɑdeː ˈaz «viʒˈeɡi» hˈɑje ˈadad iːn ˈast kˈeː (en)ˈeɪ(fa) jˈek mˌadʒmuːʔˈeːje nˈɑtohˌi dˈar nˈazar ɡerˈefteː ʃavˈad vˈa ʃˈart ɡˈozɑʃtˌeː ʃavˈad kˈeː