Description: Principle of Finite Induction on positive integers. (Contributed by NM, 23-Mar-1996) (New usage is discouraged.)
Ref | Expression | ||
---|---|---|---|
Hypotheses | indpi.1 | |
|
indpi.2 | |
||
indpi.3 | |
||
indpi.4 | |
||
indpi.5 | |
||
indpi.6 | |
||
Assertion | indpi | |