استقرای تراپایان
transfinite induction
استقرا ترامتناهی
اگر قضیه ای به ازای اولین عضو مجموعه ای خوش ترتیب چون N برقرار باشدو چنانچه به ازای همه اعضای مقدم بریک عضو n از مجموعه برقرار است، به ازای n هم برقرار باشد، آنگاه قضیه به ازای همه اعضای N برقرار است.
axiom of induction
اصل موضوع استقرا