I wonder, do proofs of this kind, where some process is repeated forever to prove the thesis, have an infinite length? Could this be made into a finite number of steps in some formal system? Using a rule of induction maybe?