{principle of induction} [ریاضی] اصلی مبتنی بر اینکه هرگاه زیرمجموعه ای از مجموعۀ اعداد طبیعی شامل 1 باشد و تالی هر عضو آن نیز عضوی از آن مجموعه باشد، آنگاه آن زیرمجموعه با مجموعۀ اعداد طبیعی برابر است
