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.