One context in which one does inductive proofs without a base case is that of Conway's games/numbers, which are defined inductively without a base case.
Mariano Suárez-Álvarez
- 47.3k
- 14
- 147
- 264