اصطلاح مرجح
استقرا ترامتناهی
نوع
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
مفهوم اعم
اصطلاح‌های نامرجح
-
استقرای تراپایان
یادداشت دامنه
-
اگر قضیه ای به ازای اولین عضو مجموعه ای خوش ترتیب چون N برقرار باشدو چنانچه به ازای همه اعضای مقدم بریک عضو n از مجموعه برقرار است، به ازای n هم برقرار باشد، آنگاه قضیه به ازای همه اعضای N برقرار است.
در زبان های دیگر
transfinite induction
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007381