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

زبان مبدأ: فارسی

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

فرهنگ‌نامه

{{ metaLine || "معنی به فارسی" }}

{{ entry.headword }}

/{{ entry.ipa }}/

  1. {{ sn.pos }}
    ویژه
    {{ sn.n }}.{{ sn.gloss }}

    {{ sn.example }}

{{ entry.etymology }}

{{ entry.related }}

تعاریف ویکی‌واژه CC BY-SA است؛ موارد «واژه‌نامه» مال حساب شماست مگر عمومی منتشر شود.

کاربران

سطح عمومی، ویژه، ویرایشگر، مدیر. نقش ارشد عوض نمی‌شود.

  • {{ u.name || u.mobile }} {{ u.mobile }}
    ارشد

واژه‌نامه من

فهرست واژگان را به حساب خودتان بچسبانید. عضو عمومی فقط فهرست خصوصی دارد.

جداکننده: تب، = یا |. ستون سوم تب‌دار یادداشت است. خط‌هایی که با # شروع شوند نادیده گرفته می‌شوند.

{{ gMsg }}

  • {{ g.name }} {{ g.lang }} · {{ g.term_count }} واژه · {{ g.visibility }}