استقرا ترامتناهی
type: Concept
alternative label: استقرای تراپایان
broader: اصل موضوع استقرا
preferred label: transfinite induction @en
scope note: اگر قضیه ای به ازای اولین عضو مجموعه ای خوش ترتیب چون N برقرار باشدو چنانچه به ازای همه اعضای مقدم بریک عضو n از مجموعه برقرار است، به ازای n هم برقرار باشد، آنگاه قضیه به ازای همه اعضای N برقرار است.

اصل موضوع استقرا
type: Concept
narrower: استقرا ترامتناهی
preferred label: axiom of induction @en