اصل استقراء قوی
اجازه دهید [D] می شود زیر مجموعه ای از اعداد صحیح نامنفی [Z ^ *] با خواص است که (1) 0 عدد صحیح است در [D] و (2) در هر زمان که فاصله [[0، N]] موجود است [D] ، یکی می تواند نشان دهد که [N +1] نیز در [D] است. تحت این شرایط، [D = Z ^ *] است.