استقرای ترامتناهی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در ریاضی، اِستِقرای تَرامُتَناهی (transfinite induction) فرایندی استدلالی است برای اثبات یک قضیهٔ مفروض به این صورت که اگر آن قضیه به ازای اولین عضو مجموعهٔ خوش‌ترتیب S برقرار باشد و فرض درست بودن آن به ازای همهٔ عضوهای مقدم بر aЄS منتج به درستی آن برای a گردد، آنگاه آن قضیه به ازای هر عضو S برقرار است.

منابع[ویرایش]

  • واژه‌های مصوّب فرهنگستان تا پایان سال ۱۳۸۹ (مجموع هشت دفتر فرهنگ واژه‌های مصوّب فرهنگستان)