De oneindige recursieꜛ

Recurrerenꜛ is het, al redenerend, terugkomen op een vergelijkbare stelling. Als ik X wil bewijzen en kan aantonen dat X waar moet zijn als een vergelijkbare maar eenvoudigere bewering X' waar is ben ik van X naar X' gerecurreerd.

De drogreden der oneindige recursie is nauw verwant aan de cirkelredenering, en ontstaat wanneer X' niet eenvoudiger is, maar zelf weer een X'' behoeft, en zo tot in het oneindige — en deze oneindige reeks als bewijs van X geclaimd wordt.

((Voorbeeld toevoegen dat ook niet-wiskundigen aanspreekt. Misschien: Iemand is mens als zijn moeder mens is?))

Verwant aan de oneindige recursie is het irreducibiliteitsbewijs van de regrediërende voorwaarde.