About 0.12 uses per million words.
induction base case if-thenism infinite descent transfinite induction solomonoff induction backward induction coinduction intuitionism natural deduction
mathematical inductions