استقرای ترامتناهی
فارسی
[ویرایش]حوزه: [ریاضی]
- فرایندی استدلالی برای اثبات یک قضیۀ مفروض به این صورت که اگر آن قضیه به ازای اولین عضو مجموعۀ خوشترتیب S برقرار باشد و فرض درست بودن آن به ازای همۀ عضوهای مقدم بر aЄS منتج به درستی آن برای a گردد، آنگاه آن قضیه به ازای هر عضو S برقرار است.
منابع
[ویرایش]«استقرای ترامتناهی» همارزِ «transfinite induction»؛ منبع: گروه واژهگزینی و زیر نظر حسن حبیبی، دفتر پنجم، فرهنگ واژههای مصوب فرهنگستان، تهران: انتشارات فرهنگستان زبان و ادب فارسی، شابک ۹۷۸-۹۶۴-۷۵۳۱-۷۶-۴