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