 This kind of argument is often called an induction by enumeration. It is closely related to the technique of statistical estimation. We may represent the logical form of such arguments semi-formally as follows: