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

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