استقرای ترامتناهی
transfinite induction
واژههای مصوب فرهنگستان
فرایندی استدلالی برای اثبات یک قضیۀ مفروض به این صورت که اگر آن قضیه به ازای اولین عضو مجموعۀ خوشترتیب S برقرار باشد و فرض درست بودن آن به ازای همۀ عضوهای مقدم بر aЄS منتج به درستی آن برای a گردد، آنگاه آن قضیه به ازای هر عضو S برقرار است