Skip to main content
Post Made Community Wiki
Source Link

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.