In der Metamathematik verwendet man eine so genannte unendliche Induktion (auch -Regel genannt). In halbformalen Systemen der Mathematik lassen sich damit Vollständigkeitsbeweise und Widerspruchsfreiheitsbeweise durchführen.