The standard approach in proof theory is to view a proof as a finite, wellfounded structure, in which the
conclusion is justified stepwise by a chain of inference steps grounded in an axiom. I explore how non-wellfounded proof systems allow never-ending chains of inference steps, or cycles, where the conclusion to be derived is assumed as a premise.
