Liest man manche Beweise mit Induktion bzw. versucht diese selbstständig nachzubauen stößt man schnell auf das Problem "wann verlasse ich die Induktion und verirre mich in vollständiger 'Spekulation'"? Ein Beispiel ist bereits der Beweis des Lemmas der Ackermannfunktion: y<A(x,y). (nicht signierter Beitrag von 12:18, 10. Mai 2011 (CEST) )