KnowraRecursive definitionLinked fromLinked fromThe 10 pages that link to Recursive definition, each with the reason it gives.All 10Broader topic 1Related 9Mathematical inductionRelated: Induction often proves properties of objects defined by the same base-and-step pattern.Recurrence relationRelated: Recurrence relations are recursive definitions specialized to sequence terms.DefinitionBroader topic: Recursive rules define sequences, functions, and structures through prior instances.Peano arithmeticRelated: Recursive equations give addition and multiplication their behavior throughout the natural numbers.Axiom of dependent choiceRelated: Dependent choice formalizes a sequence built by repeatedly applying a successor rule.Axiom of FoundationRelated: Foundation licenses definitions that recurse down the membership structure.Backus–Naur formRelated: Recursive productions express arbitrarily nested structures such as parenthesized expressions.Kleene fixed-point theoremRelated: The theorem gives a precise interpretation when recursive definitions induce continuous functions.Knaster–Tarski theoremRelated: The theorem supplies canonical solutions to many recursive equations.Mostowski collapse lemmaRelated: The collapse assigns each element the set of images of its predecessors.