استقرار ریاضی بیان می‌کند که اگر  به معنای صدق ویژگی P برای عدد x باشد، برای اینکه  برای همهٔ اعداد طبیعی صدق کند باید :
ˌesteq1rˈɑr riˈɑzi bˈajɑn mikˈonad kˈeː ˌaɡˈar beː maʔnˈɑje sˈedq1 viʒˈeɡi (en)pˈiː(fa) barˈɑje ˈadad (en)ˈɛks(fa) bˈɑʃad barˈɑje ˈinkeː barˈɑje hamˈeːje ˈaʔdɑd tˌabiʔˈi sˈedq1 kˈonad bˈɑjad :